Commit 7de3dafb authored by Michael Hanus 's avatar Michael Hanus

Readme added

parent 18780ba6
# curry-addtypes - A tool to add missing type signatures in a Curry program
This package contains the tool `curry-addtypes` which adds
missing type signatures to top-level operations in a Curry module.
Moreover, it contains a library to process strings containing
Curry source code and classifies it into a few standard categories
## Installing the tool
The tool can be directly installed by the command
> cpm installbin addtypes
This installs the executable `curry-addtypes` in the bin directory of CPM.
## Using the tool
If the bin directory of CPM (default: `~/.cpm/bin`) is in your path,
execute the tool with the Curry program where type signatures should
be added, e.g.,
> curry-addtypes LazyProgram
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