ML-Twig

ML-Twig

A variant of TWIG in SML, by Jussi Rintanen <jur@cs.hut.fi>, which comes with SML/NJ.