WWW Interface to the PAKCS environment
You can
run a Curry program
using this form (you should also look into the
standard prelude
):
Please type in your Curry program or select an example by pushing a button:
Curry program:
Main goal
(free variables must be declared with
where ... free
):
Michael Hanus