Tools for programming with ConstraintKinds in GHC
Primary LanguageHaskellOtherNOASSERTION
No one’s star this repository yet.