Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
navigation [2024-11-14 22:51] mhnavigation [2024-11-15 11:58] (current) mh
Line 11: Line 11:
  
   * [[documentation:try_curry | Try Curry! ]] with [[http://smap.informatik.uni-kiel.de/smap.cgi | Smap ]]   * [[documentation:try_curry | Try Curry! ]] with [[http://smap.informatik.uni-kiel.de/smap.cgi | Smap ]]
-  * [[implementations:overview | Overview ]]+  * [[https://curry-lang.org/implementations/overview | Overview ]]
   * [[https://www.curry-lang.org/pakcs/| PAKCS ]]     * [[https://www.curry-lang.org/pakcs/| PAKCS ]]  
   * [[https://www.curry-lang.org/kics2| KiCS2 ]]     * [[https://www.curry-lang.org/kics2| KiCS2 ]]  
/srv/dokuwiki/currywiki/data/pages/navigation.txt · Last modified: 2024-11-15 11:58 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