HaMLet is a Standard ML implementation. It is intended as reference implementation of <:DefinitionOfStandardML:The Definition of Standard ML (Revised)> and not for serious practical work.