Haskell GHC Type System packages

• « All Tags

Selected Tags

• GHC
• Type System

Type System packages

Showing projects tagged as 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.4 Haskell

  Derive KnownNat constraints from other KnownNat constraints