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

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

  !/usr/bin/env runcurry

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.