Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
navigation [2020-10-16 11:12] mhnavigation [2024-10-14 18:07] (current) mh
Line 1: Line 1:
- 
 === Documentation === === Documentation ===
  
-  * [[http://www.curry-lang.org | Curry Homepage]+  * [[http://curry-lang.org | Homepage ]]
   * [[documentation:report | Curry Report]]   * [[documentation:report | Curry Report]]
   * [[documentation:tutorial | Tutorial ]]   * [[documentation:tutorial | Tutorial ]]
Line 20: Line 19:
 === Libraries === === Libraries ===
  
-  * [[http://www-ps.informatik.uni-kiel.de/~cpm | Packages ]] +  * [[https://cpm.curry-lang.org/ | Packages ]] 
-  * [[http://www-ps.informatik.uni-kiel.de/kics2/currygle/ | Curr(y)gle API Search ]] +  * [[https://www-ps.informatik.uni-kiel.de/kics2/currygle/ | Curr(y)gle API Search ]] 
-  * [[http://www.informatik.uni-kiel.de/~pakcs/lib/ | PAKCS Libraries ]] +  * [[https://cpm.curry-lang.org/pkgs/base.html Base Libraries ]]
-  * [[http://www-ps.informatik.uni-kiel.de/kics2/lib/ KiCS2 Libraries ]]+
  
 === Tools === === Tools ===
  
   * [[tools:editors | Editors ]]   * [[tools:editors | Editors ]]
-  * [[tools:cass | CASS ]] +  * [[http://www.curry-lang.org/tools/cass | CASS ]] 
-  * [[http://www.informatik.uni-kiel.de/~pakcs/COOSy | COOSy ]] +  * [[https://cpm.curry-lang.org/pkgs/coosy.html | COOSy ]] 
-  * [[tools:cpm | CPM ]] +  * [[http://www.curry-lang.org/tools/cpm | CPM ]] 
-  * [[tools:currybrowser | CurryBrowser ]] +  * [[https://cpm.curry-lang.org/pkgs/currybrowse.html | CurryBrowser ]] 
-  * [[tools:currydoc | CurryDoc ]] +  * [[https://cpm.curry-lang.org/pkgs/currydoc.html | CurryDoc ]] 
-  * [[tools:currytest CurryTest ]]+  * [[https://cpm.curry-lang.org/pkgs/currycheck.html CurryCheck ]]
   * [[tools:oracle_debugger | B.I.O. Debugger ]]   * [[tools:oracle_debugger | B.I.O. Debugger ]]
   * [[tools:icode | iCODE ]]   * [[tools:icode | iCODE ]]
   * [[tools:easycheck | EasyCheck ]]   * [[tools:easycheck | EasyCheck ]]
-  * [[http://www.informatik.uni-kiel.de/~pakcs/spicey | Spicey ]] +  * [[https://cpm.curry-lang.org/pkgs/spicey.html | Spicey ]] 
-  * [[http://www.informatik.uni-kiel.de/~pakcs/dsdcurry | DSDCurry ]]+  * [[https://cpm.curry-lang.org/pkgs/dsdcurry.html | DSDCurry ]]
  
 === Research === === Research ===
  
-  * [[research:papers | Papers]]+  * [[http://www.curry-lang.org/papers | Papers]]
  
 === Miscellaneous === === Miscellaneous ===
/srv/dokuwiki/currywiki/data/attic/navigation.1602839563.txt.gz · Last modified: 2020-10-16 11:12 by mh
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0