runcurry: a command to run a Curry program without invoking the REPL

The runcurry command has three modes of operation:

Note that the runcurry command is intended to compile simple Curry programs which use only base libraries but no libraries defined in other Curry packages. If this behavior should be changed, one has to adapt the constant RunCurry.replOpts in this package.

The directory examples contains various examples of using runcurry.