1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
|
Curry Tools
===========
This directory contains some base tools for Curry
that are used by different Curry systems, like PAKCS or KiCS2.
These are:
`cpm`
This directory contains the Curry package manager (CPM)
with the main executable `cypm`.
CPM is a tool to distribute and install Curry packages.
It can be used to download further Curry libraries and applications.
`optimize`:
The implementation of optimization tools for Curry,
in particular, a transformation tool to replace Boolean equalities
by unification constraints.
|