The data-nat package

[Tags: bsd3, library]

The usual data Nat = Zero | Succ Nat datatype with the appropriate instances.

Should be portable to any Haskell 98 compiler which supports the CPP extension.


Properties

Versions0.1, 0.1.1, 0.1.2
Dependenciesbase (>=3 && <5), semigroups (>=0.7 && <0.9)
LicenseBSD3
CopyrightCopyright (C) 2012 Gábor Lehel
AuthorGábor Lehel
MaintainerGábor Lehel <illissius@gmail.com>
Stabilityexperimental
CategoryData, Math
Home pagehttp://github.com/glehel/data-nat
Source repositoryhead: git clone git://github.com/glehel/data-nat.git
Upload dateSun Sep 23 11:23:03 UTC 2012
Uploaded byGaborLehel
Downloads164 total (18 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees