@hackage type-natural dependencies

6 results

library:type-natural (6 dependencies)

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause>=2.8 && <2.11

@haskell/base

Core data structures and operations

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

@hackage/singletons

Basic singleton types and definitions

BSD-3-Clause>=0.8 && <0.9

@hackage/monomorphic

Library to convert polymorphic datatypes to/from its monomorphic represetation

BSD-3-Clause>=0.0.3

@hackage/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

BSD-3-Clause>=0.2 && <0.3

@hackage/constraints

Constraint manipulation

BSD-2-Clause>=0.3 && <0.5