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-09-08 16:37] jacnavigation [2010-03-26 14:49] mh
Line 1: Line 1:
 +
 +=== Documentation ===
 +
 +  * [[documentation:report| Curry Report]]
 +  * [[documentation:tutorial | Tutorial ]]
 +  * [[documentation:learn_more | Learn More ]]
 +  * [[documentation:mailing | Mailing List ]]
  
 === Implementations === === Implementations ===
  
 +  * [[implementations:overview | Overview ]]
   * [[http://www.informatik.uni-kiel.de/~pakcs/| PAKCS ]]     * [[http://www.informatik.uni-kiel.de/~pakcs/| PAKCS ]]  
   * [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/| KiCS ]]     * [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/| KiCS ]]  
   * [[http://danae.uni-muenster.de/~lux/curry | MCC ]]   * [[http://danae.uni-muenster.de/~lux/curry | MCC ]]
- 
-=== Documentation === 
- 
-  * [[documentation:curry_report | Curry Report]] 
-  * [[documentation:tutorial | Tutorial ]] 
-  * [[documentation:mailing | Mailing List ]] 
  
 === Tools === === Tools ===
Line 27: Line 29:
   * [[research:papers | Papers]]   * [[research:papers | Papers]]
  
-\\ +=== Miscellaneous ===
- +
-[[applications | Applications ]] +
- +
-\\+
  
-[[logo | Curry Logos ]]+  * [[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