Project for Foundations of Language course, University of Verona.

The contains the SML code of interpreter, type-checker and pretty-printer for a simple imperative language.

Start SML interpreter

$ mosml

Import project file

- use "lang.sml";