Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
documentation:learn_more [2018-11-27 10:02] mh |
documentation:learn_more [2018-11-27 10:09] mh |
||
---|---|---|---|
Line 22: | Line 22: | ||
A collection of libraries for Curry that are distributed with | A collection of libraries for Curry that are distributed with | ||
[[http://www.informatik.uni-kiel.de/~pakcs/| PAKCS]]. | [[http://www.informatik.uni-kiel.de/~pakcs/| PAKCS]]. | ||
+ | |||
+ | [[https://www.informatik.uni-kiel.de/~curry/cpm/ | Packages]]: | ||
+ | A collection of packages available by the | ||
+ | [[tools:cpm | Curry Package Manager (CPM)]]. | ||
[[http://www.informatik.uni-kiel.de/~curry/flat/ | FlatCurry]]: | [[http://www.informatik.uni-kiel.de/~curry/flat/ | FlatCurry]]: |