@hackage / type-natural

Type-level natural and proofs of their properties.

Latest1.3.0.2

Dependencies

library:type-natural (9 dependencies)

@hackage / ghc-typelits-presburger Presburger Arithmetic Solver for GHC Type-level natural numbers.
- Version: >=0.7.1
- License: BSD-3-Clause
@hackage / constraints Constraint manipulation
- Version: >=0.3
- License: BSD-2-Clause
@hackage / template-haskell Support library for Template Haskell
- Version: >=2.8
- License: BSD-3-Clause
@hackage / ghc-typelits-natnormalise GHC typechecker plugin for types of kind GHC.TypeLits.Nat
- Version: >=0.4
- License: BSD-2-Clause
@hackage / ghc-typelits-knownnat Derive KnownNat constraints from other KnownNat constraints
- Version:
- License: BSD-2-Clause
@hackage / ghc The GHC API
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / equational-reasoning Proof assistant for Haskell using DataKinds & PolyKinds
- Version: >=0.4.1.1
- License: BSD-3-Clause
@hackage / integer-logarithms Integer logarithms.
- Version:
- License: MIT

test:type-natural-test (11 dependencies)