The type-unary package

[Tags:bsd3, library]

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.

Properties

Versions 0.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
Dependencies base (==4.*), ty, vector-space [details]
License BSD3
Copyright (c) 2009-2011 by Conal Elliott
Author Conal Elliott
Maintainer conal@conal.net
Category Data
Home page https://github.com/conal/type-unary
Uploaded Thu Nov 10 19:19:58 UTC 2011 by ConalElliott
Distributions NixOS:0.3.0
Downloads 6561 total (241 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees