A basic library of algorithms and data structures (a la NJlib)
Primary LanguageStandard MLMIT LicenseMIT