RECENT POSTS

Hs-constraints

May 26, 2018

Constraint manipulation

GHC 7.4 gave us the ability to talk about ConstraintKinds. They stopped crashing the compiler in GHC 7.6. This package provides a vocabulary for working with them.

WWW https//github.com/ekmett/constraints/