Directory listing

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

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