package

lean-peano

Description

A maximally lazy, simple implementation of the Peano numbers with minimal dependencies.

Description

hackage.haskell.org

Please see the README on GitHub at https://github.com/oisdk/lean-peano#readme

README.md

hackage.haskell.org

lean-peano

Implementation of peano numbers (with all relevant instances) with minimal dependencies.

Metadata

Version

1.0.2.0

License

Status

Source

pkgs/development/haskell-modules/hackage-packages.nix:190195

Homepage

https://hackage.haskell.org/package/lean-peano

Platforms (75)

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all