Differences

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

--- navigation [2017-03-09 11:17] – mh
+++ navigation [2020-09-16 16:26] – mh
@@ Line 10: / Line 10: @@
 === Implementations ===
-  * [[documentation:try_curry | Try Curry! ]] with [[http://www-ps.informatik.uni-kiel.de/smap/smap.cgi | Smap ]]
+  * [[documentation:try_curry | Try Curry! ]] with [[http://smap.informatik.uni-kiel.de/smap.cgi | Smap ]]
   * [[implementations:overview | Overview ]]
   * [[http://www.informatik.uni-kiel.de/~pakcs/| PAKCS ]]
@@ Line 22: / Line 22: @@
   * [[http://www-ps.informatik.uni-kiel.de/kics2/lib/ | KiCS2 Libraries ]]
   * [[http://www-ps.informatik.uni-kiel.de/kics2/currygle/ | Curr(y)gle API Search ]]
-  * [[tools:cpm | Packages ]]
+  * [[http://www-ps.informatik.uni-kiel.de/~cpm | Packages ]]
 === Tools ===
@@ Line 29: / Line 29: @@
   * [[tools:cass | CASS ]]
   * [[http://www.informatik.uni-kiel.de/~pakcs/COOSy | COOSy ]]
-  * [[tools:cpm | CPM Package Manager ]]
+  * [[tools:cpm | CPM ]]
   * [[tools:currybrowser | CurryBrowser ]]
   * [[tools:currydoc | CurryDoc ]]

/srv/dokuwiki/currywiki/data/pages/navigation.txt · Last modified: 2024-04-15 18:17 by mh

Back to top