@hackage type-unary0.0.0

Type-level and typed unary natural numbers, vectors, inequality proofs

Categories
License
BSD-3-Clause
Maintainer
conal@conal.net
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.3.2 Sat, 13 May 2023
- 0.3.0 Sat, 5 Jan 2019
- 0.2.21 Sat, 5 Jan 2019
- 0.2.19 Sat, 5 Jan 2019
- 0.2.16 Sat, 5 Jan 2019
- 0.2.15 Sat, 5 Jan 2019

Installation
In your cabal file:
Dependencies (0)
Dependents (2)
@hackage/ftree, @hackage/functor-combo

Type-level and value-typed unary natural numbers, plus length-typed vectors, inequality proofs. There are probably many of these packages. Perhaps consolidate. This one is extracted from Shady.

@hackage type-unary0.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (2)