GitHub repository: smlhelp/aux-library
Primary language: Standard ML
Created: 2021-04-15T04:23:11Z
Description: Auxiliary Library for SML (based on SMLNJ), for use as SML teaching examples