@hackage data-nat0.1

data Nat = Zero | Succ Nat

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Gábor Lehel <illissius@gmail.com>
Links
Versions
- 0.1.2 Sun, 23 Sep 2012
- 0.1.1 Sun, 23 Sep 2012
- 0.1 Mon, 14 May 2012

Installation
In your cabal file:
Dependencies (3)
- base >=4 && <5
- ghc-prim >=0.2 && <0.3
- semigroups >=0.7 && <0.9
Dependents (1)
@hackage/acme-everything

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.