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
Next revisionBoth sides next revision
navigation [2008-04-16 22:51] jacnavigation [2024-04-15 16:53] mh
Line 1: Line 1:
-=== Events === 
  
-  * [[events:upcomingUpcoming Events ]]+=== Documentation === 
 + 
 +  * [[http://curry-lang.org Homepage ]] 
 +  * [[documentation:report | Curry Report]] 
 +  * [[documentation:tutorial | Tutorial ]] 
 +  * [[documentation:learn_more | Learn More ]] 
 +  * [[documentation:mailing | Mailing List ]] 
 +  * [[documentation:style_guide | Style Guide ]]
  
 === Implementations === === Implementations ===
  
-  * [[implementations:pakcs | PAKCS]]   +  * [[documentation:try_curry | Try Curry! ]] with [[http://smap.informatik.uni-kiel.de/smap.cgi | Smap ]] 
-  * [[implementations:kics | KiCS]]  +  * [[implementations:overview | Overview ]] 
 +  * [[http://www.informatik.uni-kiel.de/~pakcs/| PAKCS ]]   
 +  * [[http://danae.uni-muenster.de/curry/ | MCC ]] 
 +  * [[http://www-ps.informatik.uni-kiel.de/kics2| KiCS2 ]]   
 +  * [[implementations:kics | KiCS ]]
  
-=== Documentation ===+=== Libraries ===
  
-  * [[documentation:curry_report Curry Report]] +  * [[https://cpm.curry-lang.org/ Packages ]] 
-  * [[documentation:tutorial Tutorial ]] +  * [[https://www-ps.informatik.uni-kiel.de/kics2/currygle/ Curr(y)gle API Search ]] 
-  * [[documentation:mailing Mailing List ]]+  * [[https://cpm.curry-lang.org/pkgs/base.html Base Libraries ]]
  
 === Tools === === Tools ===
  
 +  * [[tools:editors | Editors ]]
 +  * [[tools:cass | CASS ]]
 +  * [[http://www.informatik.uni-kiel.de/~pakcs/COOSy | COOSy ]]
 +  * [[http://www.curry-lang.org/tools/cpm | CPM ]]
 +  * [[tools:currybrowser | CurryBrowser ]]
   * [[tools:currydoc | CurryDoc ]]   * [[tools:currydoc | CurryDoc ]]
 +  * [[tools:currytest | CurryTest ]]
   * [[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 ]]
-  * [[tools:cycotest CyCoTest ]]+  * [[http://www.informatik.uni-kiel.de/~pakcs/spicey Spicey ]] 
 +  * [[http://www.informatik.uni-kiel.de/~pakcs/dsdcurry | DSDCurry ]]
  
 === Research === === Research ===
  
   * [[research:papers | Papers]]   * [[research:papers | Papers]]
 +
 +=== Miscellaneous ===
 +
 +  * [[applications | Applications ]]
 +  * [[logo | Curry Logos ]]
  
/srv/dokuwiki/currywiki/data/pages/navigation.txt · Last modified: 2024-04-15 18:17 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