NAME
pakcs - the Portland Aachen Kiel Curry System
SYNOPSIS
pakcs [OPTIONS]
DESCRIPTION
PAKCS is an implementation of the functional logic language Curry (http://currry-language.org) which compiles Curry programs into Prolog programs. Detailed information about PAKCS can be found at https://www.informatik.uni-kiel.de/~pakcs/
The command pakcs either invokes the interactive environment to compile and run Curry programs.
OPTIONS
Invoke interactive environment:
- pakcs <options> [ -- <run-time arguments>]
with options:
- --h, --help, -?
-
show this message and quit
- -V, --version
-
show version and quit
- --compiler-name
-
show the compiler name "pakcs" and quit
- --numeric-version
-
show the compiler version number and quit
- --base-version
-
show the version of the base libraries and quit
- -q, --quiet
-
work silently
- --nocypm
-
do not invoke "cypm" to compute package load path
- --noreadline
-
do not use input line editing via command "rlwrap"
- -D<prop>=val
-
define pakcsrc property "prop" as "val" :<cmd> <args> : command of the PAKCS environment
AUTHOR
This manual page has been written by Michael Hanus and converted to nroff format by Mike Gabriel <[email protected]>. This man page has been written for the Debian project initially, but may also be used by others.