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