资 源 简 介
As a final project for MATH 3TP3: Truth and Provability I have implemented a FlooP compiler and interpreter.
You must have a C++0x capable compiler in order to build the solution.
Visual Studio 2010 solution files have been provided.
If you wish to use the compiler, a 32-bit Windows executable has been provided alongside
the solution to Assignment 6, which contains some FlooP procedures.
Furthermore, a documentation file (the 700 word essay) is induced in the repository, and it includes some basic instructions on how to compile your sources.
MATH 3TP3 homepage can be found on Dr. Matt Valeriote"s website at
http://www.math.mcmaster.ca/~matt/3tp3/3tp3.html
The sources are under a LGPL license, so feel free to reuse the code.
Filip Jeremic
