README.md 530 Bytes
Newer Older
Michael Hanus 's avatar
Michael Hanus committed
1
2
3
Curry Tools
===========

Michael Hanus 's avatar
Michael Hanus committed
4
This directory contains some base tools for Curry
5
that are used by different Curry systems, like PAKCS or KiCS2.
Michael Hanus 's avatar
Michael Hanus committed
6
These are:
7

Michael Hanus 's avatar
Michael Hanus committed
8
`cpm`
Michael Hanus 's avatar
Michael Hanus committed
9
This directory contains the Curry package manager (CPM)
Michael Hanus 's avatar
Michael Hanus committed
10
11
12
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.
Michael Hanus 's avatar
Michael Hanus committed
13

Michael Hanus 's avatar
Michael Hanus committed
14
`optimize`:
Michael Hanus 's avatar
Michael Hanus committed
15
The implementation of optimization tools for Curry,
Michael Hanus 's avatar
Michael Hanus committed
16
17
in particular, a transformation tool to replace Boolean equalities
by unification constraints.