logo
Free, unlimited AI code reviews that run on commit
git-lrc git-lrc GitHub Install Now We'd appreciate a star git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt

pakcs - the Portland Aachen Kiel Curry System

Author

       This  manual  page  has  been  written  by  Michael  Hanus  and converted to nroff format by Mike Gabriel
       <mike.gabriel@das-netzwerkteam.de>. This man page has been written for the Debian project initially,  but
       may also be used by others.

2.0.2                                             December 2018                                         PAKCS(1)

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.

Name

       pakcs - the Portland Aachen Kiel Curry System

Options

       Invoke interactive environment:

           pakcs<options> [ -- <run-timearguments>]

       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

Synopsis

pakcs[OPTIONS]

See Also