@hackage type-natural dependencies

7 results

library:type-natural (7 dependencies)

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause>=2.8

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/singletons

Basic singleton types and definitions

BSD-3-Clause>=2.2 && <2.5

@hackage/ghc-typelits-presburger

Presburger Arithmetic Solver for GHC Type-level natural numbers.

BSD-3-Clause>=0.2.0.0

@hackage/ghc-typelits-natnormalise

GHC typechecker plugin for types of kind GHC.TypeLits.Nat

BSD-2-Clause>=0.4

@hackage/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

BSD-3-Clause>=0.4.1.1

@hackage/constraints

Constraint manipulation

BSD-2-Clause>=0.3