Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
documentation:try_curry [2017-05-31 15:39]
mh
documentation:try_curry [2020-09-16 16:27]
mh
Line 5: Line 5:
  
 In particular, you can try [[ http://​www.informatik.uni-kiel.de/​~pakcs/​ | PAKCS ]] In particular, you can try [[ http://​www.informatik.uni-kiel.de/​~pakcs/​ | PAKCS ]]
-which is available as an Ubuntu package.+which is available as an Ubuntu package ​and can be installed (on Ubuntu 17.04) with 
 + 
 +    > sudo apt install pakcs
  
 If you just want to get a taste of Curry and try small examples without If you just want to get a taste of Curry and try small examples without
 installing a complete Curry environment,​ you might like to use the installing a complete Curry environment,​ you might like to use the
-[[http://www-ps.informatik.uni-kiel.de/smap/smap.cgi | Smap]],+[[https://smap.informatik.uni-kiel.de/​smap.cgi | Smap]],
 an interactive web interface to execute Curry programs. an interactive web interface to execute Curry programs.
 Please note that this environment is restricted to execute smaller programs Please note that this environment is restricted to execute smaller programs
 without I/O operations. without I/O operations.
/srv/dokuwiki/currywiki/data/pages/documentation/try_curry.txt · Last modified: 2020-09-16 16:27 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