Haskell GHC Type System packages

• « All Tags

Selected Tags

• Development
• GHC
• Type System

Type System packages

Showing projects tagged as Development, GHC, and Type System

• 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.5 Haskell

  Derive KnownNat constraints from other KnownNat constraints