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]


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

[Skip to Readme]


Change log ChangeLog.md
Dependencies base (>= && <5), deepseq (>= [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




Maintainer's Corner

For package maintainers and hackage trustees

Readme for lean-peano-

[back to package description]



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