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-06-07 12:07] – [Installing the Curry Package Manager] mh | tools:cpm [2017-06-07 12:18] – [Quick Start] mh | ||
|---|---|---|---|
| Line 98: | 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 ===== | ||
