Uploaded at Mar 4 16:40:46 2021
Succesfully tested at Oct 21 08:34:28 2021

Curry Package peano


This package contains a library defining natural numbers in Peano representation and some operations on this representation.

It is intended as a simple example for functional logic programming and using narrowing for solving constraints.

A more sophisticated representation of natural and integer numbers with efficient operations can be found in the package binint.


Checkout with CPM:
cypm checkout peano 1.0.0
Package source:
peano-1.0.0.tar.gz [browse]
Source repository: