The runcurry command has three modes of operation:
Shell command: execute the main operation of a Curry program whose file name is provided as an argument, e.g.,
runcurry [Curry system options]
Interactive mode: execute the main operation of a Curry program whose program text comes from the standard input, e.g.,
runcurry" ...type your Curry program until end-of-file...
Shell script: execute the main operation of a Curry program whose program text is in a script file starting with
If the name of the script file has a suffix, it must be different from .curry and .lcurry.
If the script file contains the line #jit, it is compiled and saved as an executable so that it is faster executed when called the next time.
The directory examples contains various examples of using runcurry.