@hackage type-natural dependencies
8 results
@haskell/template-haskell
Support library for Template Haskell
@haskell/base
Core data structures and operations
@hackage/singletons
Basic singleton types and definitions
@hackage/monomorphic
Library to convert polymorphic datatypes to/from its monomorphic represetation
@hackage/ghc-typelits-presburger
Presburger Arithmetic Solver for GHC Type-level natural numbers.
@hackage/ghc-typelits-natnormalise
GHC typechecker plugin for types of kind GHC.TypeLits.Nat
@hackage/equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
@hackage/constraints
Constraint manipulation