Haskell Development Type System packages

• « All Tags

Selected Tags

• GHC
• Development
• Type System

Type System packages

Showing projects tagged as GHC, Development, and Type System

• ghc-typelits-natnormalise

  8.8 3.8 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.5 Haskell

  Derive KnownNat constraints from other KnownNat constraints