@hackage / data-nat

data Nat = Zero | Succ Nat

Latest0.1.2

About

Metadata

  • Last updated , by GaborLehel
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: Gábor Lehel <illissius@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

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.