Haskell Type System Development packages

• « All Tags

Selected Tags

• Type System
• Development

Development packages

Showing projects tagged as Type System and Development

• ghc-typelits-natnormalise

  8.7 3.7 Haskell

  Normalise GHC.TypeLits.Nat equations
  

• ghc-typelits-extra

  8.0 3.6 Haskell

  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  

• ghc-typelits-knownnat

  8.0 4.4 Haskell

  Derive KnownNat constraints from other KnownNat constraints