Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
navigation [2010-03-26 10:46] mhnavigation [2010-03-26 11:49] mh
Line 1: Line 1:
 +
 +=== Documentation ===
 +
 +  * [[documentation:curry_report | Curry Report]]
 +  * [[documentation:tutorial | Tutorial ]]
 +  * [[documentation:mailing | Mailing List ]]
  
 === Implementations === === Implementations ===
Line 6: Line 12:
   * [[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 ===
/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