Copyright | (C) 2016, University of Twente |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
Safe Haskell | Safe |
Language | Haskell2010 |
Extensions |
|
Some "magic" classes and instances to get the GHC.TypeLits.KnownNat.Solver type checker plugin working.