README.md 992 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
6
that are used by different Curry systems, like PAKCS or KiCS2.

7
Currently, it contains the following tools:
8

Michael Hanus 's avatar
Michael Hanus committed
9
10
11
12
13
`cpm`
This repository 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.
Michael Hanus 's avatar
Michael Hanus committed
14

Michael Hanus 's avatar
Michael Hanus committed
15
16
17
18
`cpns`:
This directory contains scripts and executables for the
Curry Port Name Server (CPNS) which is responsible for managing the
symbolic names assigned to the named sockes and ports on a local machine
Michael Hanus 's avatar
Michael Hanus committed
19
(see library `NamedSocket` for more details).
Michael Hanus 's avatar
Michael Hanus committed
20

Michael Hanus 's avatar
Michael Hanus committed
21
22
23
24
25
`optimize`:
The implementation of optimization tools cor Curry,
in particular, a transformation tool to replace Boolean equalities
by unification constraints.

Michael Hanus 's avatar
Michael Hanus committed
26
27
28
29
`www`:
This directory contains scripts and executables for the
event handler server that is required to execute dynamic web
pages implemented with the libraries HTML or WUI.