Haskell Type System GHC packages

• « All Tags

Selected Tags

• Type System
• GHC

GHC packages

Showing projects tagged as Type System and GHC

• 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