@hackage type-natural dependencies

3 results

library:type-natural (3 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.6 && <4.7

@hackage/singletons

Basic singleton types and definitions

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

@hackage/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

BSD-3-Clause>=0.0 && <0.1