HaMLet is a Standard ML Implementation. It is intended as reference implementation of The Definition of Standard ML and not for serious practical work.