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, 0.2.19, 0.2.21, 0.3.0
Change logNone available
Dependenciesapplicative-numbers, base (==4.*), constraints, newtype (>=0.2), ty (>=0.1.5), vector-space [details]
LicenseBSD3
Copyright(c) 2009-2014 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 Mar 5 20:34:15 UTC 2016 by ConalElliott
DistributionsNixOS:0.3.0
Downloads5403 total (63 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Last success reported on 2016-03-05 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees