Differences

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

--- navigation [2010-03-26 13:17] – mh
+++ navigation [2013-11-14 12:50] – mh
@@ Line 2: / Line 2: @@
 === Documentation ===
-  * [[documentation:curry_report | Curry Report]]
+  * [[documentation:report| Curry Report]]
   * [[documentation:tutorial | Tutorial ]]
-  * [[documentation:learn_more | Further Resources ]]
+  * [[documentation:learn_more | Learn More ]]
   * [[documentation:mailing | Mailing List ]]
 === Implementations ===
+  * [[documentation:try_curry | Try Curry! ]]
   * [[implementations:overview | Overview ]]
   * [[http://www.informatik.uni-kiel.de/~pakcs/| PAKCS ]]
-  * [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/| KiCS ]]
   * [[http://danae.uni-muenster.de/~lux/curry | MCC ]]
+  * [[http://www-ps.informatik.uni-kiel.de/kics2| KiCS2 ]]
+  * [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/| KiCS ]]
 === Tools ===
+  * [[tools:cass | CASS ]]
   * [[http://www.informatik.uni-kiel.de/~pakcs/COOSy | COOSy ]]
   * [[tools:currybrowser | CurryBrowser ]]
@@ Line 23: / Line 26: @@
   * [[tools:icode | iCODE ]]
   * [[tools:easycheck | EasyCheck ]]
-  * [[tools:cycotest | CyCoTest ]]
+  * [[http://www.informatik.uni-kiel.de/~pakcs/spicey | Spicey ]]
+  * [[http://www.informatik.uni-kiel.de/~pakcs/dsdcurry | DSDCurry ]]
 === Research ===

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

Back to top