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
Upload dateThu Oct 14 01:36:34 UTC 2010
Uploaded byGregoryCrosswhite
Downloads137 total (12 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees