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
Upload dateSat Aug 23 10:14:26 UTC 2014
Uploaded byHiromiIshii
DistributionsNixOS:0.2.3.1
Downloads1078 total (277 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees