The type-natural package

[Tags: bsd3, library]

Type-level natural numbers and proofs of their properties.

Properties

Versions0.0.1.0, 0.0.1.1, 0.0.2.0, 0.0.2.1, 0.0.3.0, 0.0.4.0, 0.0.5.0, 0.0.6.0, 0.1.0.0, 0.2.0.0, 0.2.1.0, 0.2.1.1, 0.2.1.2, 0.2.1.3, 0.2.1.4, 0.2.1.5, 0.2.2.0, 0.2.3.0, 0.2.3.1, 0.2.3.2 (info)
Change logNone available
Dependenciesbase (==4.*), constraints (>=0.3 && <0.5), equational-reasoning (==0.2.*), monomorphic (>=0.0.3), singletons (==0.8.* || >=1.0 && <1.2), template-haskell (>=2.8 && <2.11)
LicenseBSD3
Copyright(C) Hiromi ISHII 2013-2014
AuthorHiromi ISHII
Maintainerkonn.jinro_at_gmail.com
CategoryMath
Home pagehttps://github.com/konn/type-natural
Source repositoryhead: git clone git://github.com/konn/type-natural.git
UploadedWed Feb 4 06:25:28 UTC 2015 by HiromiIshii
DistributionsNixOS:0.2.3.2
Downloads2685 total (196 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-02-04 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees