lean-peano: A maximally lazy, simple implementation of the Peano numbers with minimal dependencies

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Warnings:

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


[Skip to Readme]

Properties

Versions 0.1.0.0, 0.1.0.1, 0.1.1.0, 1.0.0.0, 1.0.1.0, 1.0.1.0, 1.0.2.0
Change log ChangeLog.md
Dependencies base (>=4.10.0.0 && <5), deepseq (>=1.1.0.0) [details]
License MIT
Copyright 2020 Donnacha Oisín Kidney
Author Donnacha Oisín Kidney
Maintainer mail@doisinkidney.com
Home page https://github.com/oisdk/lean-peano#readme
Bug tracker https://github.com/oisdk/lean-peano/issues
Source repo head: git clone https://github.com/oisdk/lean-peano
Uploaded by oisdk at 2020-03-03T14:40:36Z

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for lean-peano-1.0.1.0

[back to package description]

Hackage

lean-peano

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