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 (info)
Dependenciesbase (==4.*), constraints (>=0.3 && <0.5), equational-reasoning (==0.2.*), monomorphic (>=0.0.3), singletons (==0.8.*), template-haskell (>=2.8 && <2.11) or
base (==4.*), constraints (>=0.3 && <0.5), equational-reasoning (==0.2.*), monomorphic (>=0.0.3), singletons (==1.0.*), 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
UploadedSat Aug 23 10:14:26 UTC 2014 by HiromiIshii
DistributionsNixOS:0.2.3.1
Downloads1709 total (123 in last 30 days)
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees