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 [2020-03-14 18:11] mhnavigation [2020-09-16 16:26] mh
Line 10: Line 10:
 === Implementations === === Implementations ===
  
-  * [[documentation:try_curry | Try Curry! ]] with [[http://www-ps.informatik.uni-kiel.de/smap/smap.cgi | Smap ]]+  * [[documentation:try_curry | Try Curry! ]] with [[http://smap.informatik.uni-kiel.de/smap.cgi | Smap ]]
   * [[implementations:overview | Overview ]]   * [[implementations:overview | Overview ]]
   * [[http://www.informatik.uni-kiel.de/~pakcs/| PAKCS ]]     * [[http://www.informatik.uni-kiel.de/~pakcs/| PAKCS ]]  
/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