The natural-number package

[Tags: bsd3, library]

This package provides a simple data structure for repesenting natural numbers with a type that is tagged with the type-level natural number corresponding to the value of the natural number.


Properties

Version1.0
Dependenciesbase (>=3 && <5), type-equality (==0.1.*), type-level-natural-number (>=1.0 && <1.2), type-level-natural-number-induction (==1.0.*)
LicenseBSD3
AuthorGregory Crosswhite
MaintainerGregory Crosswhite <gcross@phys.washington.edu>
StabilityProvisional
CategoryType System, Data
UploadedThu Oct 14 01:36:34 UTC 2010 by GregoryCrosswhite
Downloads148 total (11 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees