This is an alternative site for discovering Elm packages. You may be looking for the official Elm package site instead.
Library for representing natural numbers
version 1.0.0
license BSD3
native-modules False
elm-version 0.18.0 <= v < 0.19.0
Tag 1.0.0
Committed At 2017-06-30 18:04:32 UTC
elm-lang/html 2.0.0 <= v < 3.0.0 2.0.0
elm-lang/core 5.1.1 <= v < 6.0.0 5.1.1



Natural numbers

A library for natural numbers. Every natural number is either a zero or a positive number. The numbers are represented as Peano numbers using only zero value and a successor function.

type Nat = Z | S Nat