Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
tools:cpm [2017-03-28 15:55] – [Installing the Curry Package Manager] mh | tools:cpm [2017-04-11 17:37] – [Overview] mh | ||
---|---|---|---|
Line 4: | Line 4: | ||
The Curry Package Manager (CPM) is a tool to distribute and | The Curry Package Manager (CPM) is a tool to distribute and | ||
- | install Curry libraries and manage version dependencies | + | install Curry libraries |
- | between | + | between |
These libraries are organized in packages. | These libraries are organized in packages. | ||
There is a central index of all these packages which can | There is a central index of all these packages which can |