@hackage / lean-peano

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

Latest1.0.2.0

Dependencies

library:lean-peano (2 dependencies)

@hackage / deepseq Deep evaluation of data structures
- Version: >=1.1.0.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.10.0.0 && <5
- License: BSD-3-Clause

test:doctests (7 dependencies)

@hackage / QuickCheck Automatic testing of Haskell programs
- Version:
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause
@hackage / deepseq Deep evaluation of data structures
- Version:
- License: BSD-3-Clause
@hackage / lean-peano A maximally lazy, simple implementation of the Peano numbers with minimal dependencies.
- Version:
- License: MIT
@hackage / base Core data structures and operations
- Version: >=4.10.0.0 && <5
- License: BSD-3-Clause
@hackage / doctest Test interactive Haskell examples
- Version:
- License: MIT
@hackage / base-compat A compatibility layer for base
- Version:
- License: MIT

test:lean-peano-test (4 dependencies)