smlhelp/aux-library

Auxiliary Library for SML (based on SMLNJ), for use as SML teaching examples

TeX