The Streams module is used to manipulate infinite sequences.

This module describes all of the syntactic constructs of our subset of OCaml, 3110Caml.

Contains the core functions to evaluate 3110Caml expressions.

Wrapper functions describing the different errors which may occur during the interpretation of a 3110Caml program.

Core functionality for the semantic analysis phase of the interpreter.

Main is the entry point for the user in the 3110Caml interpreter.

Print functions for many of the data types outlined in the Ast module.

The Repl module is the front-end for the interpreter.

Unify contains all of the machinery required to do unification.