Directory listing

ast.mli:  The definition of abstract syntax trees.
env.mli:  The primitives for manipulating environments and stores.
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)
aux.mli:  Auxiliaries
aux.ml:  (implementation)
direct_semant1.mli:  The semantics of the functional subset of the language. No assignment, no goto: no store, no continuation.
direct_semant1.ml:  (implementation)
direct_semant2.mli:  With assignments: need a store.
direct_semant2.ml:  (implementation)
semant.mli:  With goto: need continuations.
semant.ml:  (implementation)
main.ml:  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)