Directory listing

ast.mli:  The definition of abstract syntax trees.
env.mli:  The primitives for manipulating environments.
env.ml:  (implementation)
lexer.mli:  The lexical analyser.
lexer.ml:  (implementation)
grammar.txt:  The grammar spec (for documentation).
parser.mli:  The parser. Its structure follows the spec.
parser.ml:  (implementation)
interp.mli:  The interpreter (interface)
interp.ml:  (implementation)
main.ml:  The main file.
Makefile:  How to compile everything.

ex.l:  an example program
fact.l:  an example program (recursive factorial)