The data-nat package
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
| Versions | 0.1, 0.1.1, 0.1.2 |
|---|---|
| Dependencies | base (≥3 & <5), semigroups (≥0.7 & <0.9) |
| License | BSD3 |
| Copyright | Copyright (C) 2012 Gábor Lehel |
| Author | Gábor Lehel |
| Maintainer | Gábor Lehel <illissius@gmail.com> |
| Stability | experimental |
| Category | Data, Math |
| Home page | http://github.com/glehel/data-nat |
| Source repository | git clone git://github.com/glehel/data-nat.git |
| Upload date | Sun Sep 23 11:23:03 UTC 2012 |
| Uploaded by | GaborLehel |
| Built on | ghc-7.6 |
Modules
- Data
Downloads
- data-nat-0.1.2.tar.gz (Cabal source package)
- package description (included in the package)