Research

Miscellaneous

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.