Differences

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

Link to this comparison view

Both sides previous revision Previous revision
documentation:try_curry [Y-m-d H:i]
mh
documentation:try_curry [Y-m-d H:i] (current)
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
/srv/dokuwiki/currywiki/data/pages/documentation/try_curry.txt · Last modified: Y-m-d H:i 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