Commit cf2d729e authored by Michael Hanus's avatar Michael Hanus
Browse files

README updated

parent db0cdf5d
Copyright (c) 2011-2016, Michael Hanus Copyright (c) 2011-2018, Michael Hanus
All rights reserved. All rights reserved.
Redistribution and use in source and binary forms, with or without Redistribution and use in source and binary forms, with or without
......
...@@ -3,27 +3,15 @@ Curry Tools ...@@ -3,27 +3,15 @@ Curry Tools
This directory contains some base tools for Curry This directory contains some base tools for Curry
that are used by different Curry systems, like PAKCS or KiCS2. that are used by different Curry systems, like PAKCS or KiCS2.
These are:
Currently, it contains the following tools:
`cpm` `cpm`
This repository contains the Curry package manager (CPM) This directory contains the Curry package manager (CPM)
with the main executable `cypm`. with the main executable `cypm`.
CPM is a tool to distribute and install Curry packages. CPM is a tool to distribute and install Curry packages.
It can be used to download further Curry libraries and applications. It can be used to download further Curry libraries and applications.
`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
(see library `NamedSocket` for more details).
`optimize`: `optimize`:
The implementation of optimization tools cor Curry, The implementation of optimization tools for Curry,
in particular, a transformation tool to replace Boolean equalities in particular, a transformation tool to replace Boolean equalities
by unification constraints. by unification constraints.
`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.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment