Version 0.2.3.0-0 of type-natural is deprecated.
The latest version of type-natural is 1.3.0.1-1.
lib:type-natural
Modules
Dependencies
- base lib:base >=4 && <5
- constraints lib:constraints >=0.3 && <0.5
- equational-reasoning lib:equational-reasoning >=0.2 && <0.3
- monomorphic lib:monomorphic >=0.0.3
- singletons lib:singletons (>=1.0 && <1.1) && >=0.8 && <0.9
- template-haskell lib:template-haskell >=2.8 && <2.11
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- computational-algebra lib:computational-algebra
- lol test:lol-test-suite
- sized lib:sized
- sized-vector bench:coercion-bench
- sized-vector lib:sized-vector