Uploaded at Aug 2 14:38:47 2023 (UTC)
Succesfully tested at Mar 29 04:41:47 2024

Curry Package peano

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.1.0
Package source:
peano-1.1.0.tar.gz [browse]
Source repository:
https://github.com/curry-packages/peano.git