First-order language Interpreter
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples
src
LICENSE
Makefile
README

README

Fint: The FOLA Interpreter.
[tested succesfully under linux, ubuntu 8.04 distribution.
 better viewed with emacs (http://www.gnu.org/software/emacs/) or pico.]

+--------+
| MANUAL |
+--------+

usage:   fint -l sourcefile [-i] [-e]
options: -i: print intensional code representation of sourcefile.
         -e: evaluate the sourcefile.
At least one of -i and -e must be used.

+--------------+
| INSTALLATION |
+--------------+

type 'make' to install, 'make clean' to delete all but the source files,
'make objclean' to delete all but the executable and the source files,
'make count' to observe Fint's size. don't worry about the bison conflicts
that appear to happen, as they are resolved properly. you also need to have
bison and flex installed to complete installation. bison 2.3 and flex 2.5.34
were used during testing.

+-----------+
| HIERARCHY |
+-----------+

src/*: the source files of fint.
examples/*: some examples of usage.

+-------------+
| FOLA SYNTAX |
+-------------+

each definition ends with a ';'. the parameters of a function are divided by
spaces (for example a valid call is f (x y+1 f(x+y y-1 0)), while an invalid
one is f (x, y+1, f(x+y, y-1, 0))). 

+--------+
| AUTHOR |
+--------+

Yannis Mantzouratos, March 2009.