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.


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
Dependenciesapplicative-numbers, base (==4.*), ty, vector-space
LicenseBSD3
Copyright(c) 2009-2012 by Conal Elliott
AuthorConal Elliott
Maintainerconal@conal.net
Stabilityprovisional
CategoryData
Home pagehttps://github.com/conal/type-unary
Source repositoryhead: git clone git://github.com/conal/type-unary
UploadedSat Oct 20 01:08:58 UTC 2012 by ConalElliott
Downloads2732 total (163 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees