GitHub repository: Icelandjack/constraints
Primary language: Haskell
Description: Tools for programming with ConstraintKinds in GHC