Type classes for Isabelle/ML (DISCONTINUED)
Primary LanguageStandard MLMIT LicenseMIT
No issues in this repository yet.