The type-unary package

[Tags: bsd3, library]

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


Properties

Versions0.0.0, 0.1.0, 0.1.1, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.1.7, 0.1.8, 0.1.9, 0.1.10, 0.1.11, 0.1.12, 0.1.13, 0.1.14, 0.1.15, 0.1.16, 0.1.18, 0.2.0, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.2.8, 0.2.13, 0.2.14, 0.2.15, 0.2.16
Dependenciesbase (==4.*), ty, vector-space
LicenseBSD3
Copyright(c) 2009-2012 by Conal Elliott
AuthorConal Elliott
Maintainerconal@conal.net
Stabilityexperimental
CategoryData
Home pagehttps://github.com/conal/type-unary
Upload dateSat Feb 25 06:24:44 UTC 2012
Uploaded byConalElliott
Downloads1782 total (223 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees