Differences

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

Link to this comparison view

Both sides previous revision Previous revision
navigation [2020-03-14 18:11]
mh
navigation [2020-09-16 16:26] (current)
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: 2020-09-16 16:26 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