Try Curry!

If you want to try programming with Curry, you can use one of the implementations that are freely available.

In particular, you can try PAKCS 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 installing a complete Curry environment, you might like to use the Smap, an interactive web interface to execute Curry programs. Please note that this environment is restricted to execute smaller programs without I/O operations.