Differences

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

--- navigation [2024-04-15 18:06]
mh
+++ navigation [2024-04-15 18:12]
mh
@@ Line 37: / Line 37: @@
   * [[tools:easycheck | EasyCheck ]]
   * [[http://www.informatik.uni-kiel.de/~pakcs/spicey | Spicey ]]
-  * [[http://www.informatik.uni-kiel.de/~pakcs/dsdcurry | DSDCurry ]]
+  * [[https://cpm.curry-lang.org/pkgs/dsdcurry.html | DSDCurry ]]
 === Research ===

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

Back to top