Metacircular interpreter for a purely functional subset of OCaml
An implementation of the final project for Harvard's CS51 class