Web Interface for PAKCS

You can run a Curry program using this form (you should also look into the prelude for predefined operations):

Please type in your Curry program or select an example from the left menu:


Curry program:

Main goal (free variables must be declared with where ... free):