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.

Download

Checkout with CPM:

cypm checkout peano 1.0.0

Package source:

peano-1.0.0.tar.gz [browse]

Source repository:

https://git.ps.informatik.uni-kiel.de/curry-packages/peano.git