Differences

This shows you the differences between two versions of the page.

--- tools:cpm [2017-06-07 12:07] – [Installing the Curry Package Manager] mh
+++ tools:cpm [2017-07-17 14:51] – [Available Packages] mh
@@ Line 22: / Line 22: @@
 ===== Available Packages =====
-There are more than [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm/ | fifty packages available]]
+There are more than [[http://www.informatik.uni-kiel.de/~mh/curry/cpm/ | fifty packages available]]
 (including more than 400 modules).
-There is a [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm/ | table of all packages]]
+There is a [[http://www.informatik.uni-kiel.de/~mh/curry/cpm/ | table of all packages]]
 with more detailed information (e.g., API documentation).
 These packages can immediately be downloaded or installed when CPM is installed (see below).
@@ Line 98: / Line 98: @@
 so that you can directly load any program you have stored
 in this directory.
+For instance, if the module ''Main.curry'' is stored in the
+directory ''src'', you can load it into your Curry system
+(e.g., KiCS2 or PAKCS) by
+    > cpm curry :load Main
 ===== Manual and Further Documentation =====

/srv/dokuwiki/currywiki/data/pages/tools/cpm.txt · Last modified: 2020-03-14 18:06 by mh

Back to top