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-05-15 14:49] jacnavigation [2010-03-26 14:44] – Links to documentation:curry_report changed to documentation:report mh
Line 1: Line 1:
- 
-=== Implementations === 
- 
-  * [[implementations:pakcs | PAKCS]]   
-  * [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/| KiCS]]   
-  * [[http://danae.uni-muenster.de/~lux/curry | MCC]] 
  
 === Documentation === === Documentation ===
  
-  * [[documentation:curry_report | Curry Report]]+  * [[documentation:report| Curry Report]]
   * [[documentation:tutorial | Tutorial ]]   * [[documentation:tutorial | Tutorial ]]
 +  * [[documentation:learn_more | Further Resources ]]
   * [[documentation:mailing | Mailing List ]]   * [[documentation:mailing | Mailing List ]]
 +
 +=== Implementations ===
 +
 +  * [[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 ]]
  
 === Tools === === Tools ===
Line 25: Line 27:
 === Research === === Research ===
  
-  * [[events:upcoming| Upcoming Events ]] 
   * [[research:papers | Papers]]   * [[research:papers | Papers]]
  
-[[applications | Applications ]]+=== 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