GitHub repository: kappelmann/ml-typeclasses-isabelle
Primary language: Standard ML
Description: Haskell-like typeclasses as ML Structures (for Isabelle)