4 http://www.mpi-sws.org/~rossberg/hamlet/[HaMLet] is a
5 <:StandardMLImplementations:Standard ML implementation>. It is
6 intended as reference implementation of
7 <:DefinitionOfStandardML:The Definition of Standard ML (Revised)> and
8 not for serious practical work.