Directory listing

ast.mli:  The definition of abstract syntax trees.
env.mli:  The primitives for manipulating environments and stores.  (implementation)
lexer.mli:  The lexical analyser.  (implementation)
grammar.txt:  The grammar spec (for documentation).
parser.mli:  The parser. Its structure follows the spec.  (implementation)
aux.mli:  Auxiliaries  (implementation)
direct_semant1.mli:  The semantics of the functional subset of the language. No assignment, no goto: no store, no continuation.  (implementation)
direct_semant2.mli:  With assignments: need a store.  (implementation)
semant.mli:  With goto: need continuations.  (implementation)  The main file.
Makefile:  How to compile everything.

ex.l:  an example program
fact.l:  an example program (recursive factorial)
fact-goto.l:  an example program (iterative and recursive factorial)