/classy

Type classes for Isabelle/ML (DISCONTINUED)

Primary LanguageStandard MLMIT LicenseMIT

classy

Service Status
Travis (Linux CI) Build Status

Type classes for Isabelle/ML