The implementation of the Standard ML language entirely written in SML.