Tools for programming with ConstraintKinds in GHC
See the codeREADME
constraints
This package provides data types and classes for manipulating the 'ConstraintKinds' exposed by GHC in 7.4.
Contact Information
Contributions and bug reports are welcome!
Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.
-Edward Kmett
Contributors
(top 30 of 31)
Similar repos
Languages
Haskell
100.0%
Tools for programming with ConstraintKinds in GHC
See the codeREADME
constraints
This package provides data types and classes for manipulating the 'ConstraintKinds' exposed by GHC in 7.4.
Contact Information
Contributions and bug reports are welcome!
Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.
-Edward Kmett
Similar repos
Contributors
(top 30 of 31)
Languages
Haskell
100.0%