@hackage type-unary0.1.2

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 (3)
- base >=4 && <5
- ty
- vector-space
Dependents (5)
@hackage/ftree, @hackage/music-pitch, @hackage/musicxml2, @hackage/functor-combo, @hackage/acme-everything

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.1.2

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (3)

Dependents (5)