runcurry1
Execute a curry program without explicit compilation
Usage
runcurry [OPTIONS]
MODULE
RTARGS
Overview
The runcurry command is intended to execute Curry programs without explicitly invoking the interactive environment PAKCS.
It can be useful to write short scripts in Curry intended for direct execution.
For further information, please check https://www.informatik.uni-kiel.de/~pakcs/
Options
OPTIONS
|
options passed to the Curry compiler PAKCS |
|---|---|
MODULE
|
name of the Curry module to be executed (with suffix .curry) |
RTARGS
|
run-time arguments passed to the Curry program |