@hackage data-nat0.1.2

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

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.

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything