Lml is an ml-style functional programming language that is compiled into Lambda calculus. It based on the syntax of OCaml, and includes features such as first class functions, recursive functions, n-ary tuples, lists, while loops, sequences, and references. This project was completed for CS 4110 Programming Languages and Logics.