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.