Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
| tools:cpm [2017-05-04 17:41] – [Installing the Curry Package Manager] mh | tools:cpm [2017-07-17 14:51] – [Available Packages] mh | ||
|---|---|---|---|
| Line 20: | Line 20: | ||
| the same package. | the same package. | ||
| - | The [[http:// | + | ===== Available Packages ===== |
| - | can immediately be downloaded or installed when CPM is installed (see below). | + | |
| - | Using CPM, one can also obtain more detailed information about | + | There are more than [[http:// |
| - | individual packages. | + | (including more than 400 modules). |
| + | There is a [[http:// | ||
| + | with more detailed information (e.g., API documentation). | ||
| + | These packages | ||
| Line 29: | Line 32: | ||
| CPM is already part of recent distributions of the Curry systems | CPM is already part of recent distributions of the Curry systems | ||
| - | [[http:// | + | [[http:// |
| [[http:// | [[http:// | ||
| If you have some older version of PAKCS or KiCS2, you can also | If you have some older version of PAKCS or KiCS2, you can also | ||
| Line 46: | Line 49: | ||
| If this was successful, the binary '' | If this was successful, the binary '' | ||
| directory '' | directory '' | ||
| - | of tools distributed | + | of applications |
| directory '' | directory '' | ||
| the binary '' | the binary '' | ||
| Line 95: | Line 98: | ||
| so that you can directly load any program you have stored | so that you can directly load any program you have stored | ||
| in this directory. | in this directory. | ||
| + | For instance, if the module '' | ||
| + | directory '' | ||
| + | (e.g., KiCS2 or PAKCS) by | ||
| + | |||
| + | > cpm curry :load Main | ||
| ===== Manual and Further Documentation ===== | ===== Manual and Further Documentation ===== | ||
