Streams |
The
Streams module is used to manipulate infinite sequences.
|
Ast |
This module describes all of the syntactic constructs of our
subset of OCaml, 3110Caml.
|
Eval |
Contains the core functions to evaluate 3110Caml expressions.
|
Exceptions |
Wrapper functions describing the different errors which may
occur during the interpretation of a 3110Caml program.
|
Infer |
Core functionality for the semantic analysis phase of the interpreter.
|
Main | Main is the entry point for the user in the 3110Caml interpreter.
|
Printer |
Print functions for many of the data
types outlined in the
Ast module.
|
Repl |
The
Repl module is the front-end for the interpreter.
|
Unify | Unify contains all of the machinery required to do
unification.
|