The latest version of data-nat is 0.1.2-0.
data-nat
Version 0.1 revision 0 uploaded by GaborLehel.
Package meta
- Synopsis
- data Nat = Zero | Succ Nat
- Description
The usual
data Nat = Zero | Succ Natdatatype with the appropriate instances.Should be portable to any Haskell 98 compiler which supports the
CPPextension.- Author
- Gábor Lehel
- Bug reports
- n/a
- Category
- Data, Math
- Copyright
- Copyright (C) 2012 Gábor Lehel
- Homepage
- http://github.com/glehel/data-nat
- Maintainer
- Gábor Lehel <illissius@gmail.com>
- Package URL
- n/a
- Stability
- experimental