type-unary: Type-level and typed unary natural numbers, vectors, inequality proofs

[ bsd3, data, library ] [ Propose Tags ]

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.

Modules

[Index]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 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, 0.3.2
Dependencies base (>=4 && <5), ty, vector-space [details]
License BSD-3-Clause
Copyright (c) 2009-2011 by Conal Elliott
Author Conal Elliott
Maintainer conal@conal.net
Revised Revision 2 made by HerbertValerioRiedel at 2019-01-05T19:16:36Z
Category Data
Home page https://github.com/conal/type-unary
Uploaded by ConalElliott at 2011-11-15T22:52:53Z
Distributions
Reverse Dependencies 5 direct, 7 indirect [details]
Downloads 25504 total (66 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]