PAKCS(1)
β¨ PAKCS β¨
aka the Portland Aachen Kiel Curry System β that's the PAKCS(1) page, Curry Compiler edition, bestie. Buckle up, this one's short and sweet and I'm obsessed with it. π
πΈ NAME πΈ
pakcs β the Portland Aachen Kiel Curry System π
π¦ SYNOPSIS π¦
pakcs [OPTIONS]
β¨ DESCRIPTION β¨
Okay so PAKCS is an implementation of the functional logic language Curry (over at http://currry-language.org) and the way it works is chef's kiss β it compiles Curry programs into Prolog programs. Iconic behaviour, no notes. π
If you want the full tea, the deets live at https://www.informatik.uni-kiel.de/~pakcs/ π
And the pakcs command either invokes the interactive environment to compile and run Curry programs. That's it, that's the whole job. Main character energy fr fr π
π OPTIONS π
To slide into the interactive environment:
pakcs <options> [ -- <run-time arguments>]
with options: π
--h,--help,-?β shows you this message and then dips. show this message and quit βοΈ-V,--versionβ spills the version and quits π’--compiler-nameβ tells you the compiler name, which is literally"pakcs", and then quits π«Ά--numeric-versionβ shows the compiler version number and quits π’--base-versionβ shows you the version of the base libraries and quits π-q,--quietβ work silently π€« (shy queen behaviour)--nocypmβ do not invoke"cypm"to compute the package load path π--noreadlineβ do not use input line editing via the command"rlwrap"β¨οΈ-D<prop>=valβ define the pakcsrc propertypropasvalπ«
And then there's this little extra that's listed right there with the options, so here it is, verbatim-ish but cute:
:<cmd> <args>
β that's the command of the PAKCS environment π
π AUTHOR π
This manual page has been written by Michael Hanus and converted to nroff format by Mike Gabriel <mike.gabriel@das-netzwerkteam.de>. It was written for the Debian project initially, but may also be used by others. Slay, honestly. π«Ά
lowkey a whole legend: written for Debian, then just casually let everyone else use it too. generous queen. π
okay bye bestie, go compile some Curry π
β this is version 2.0.2, dated December 2018, and it's the PAKCS(1) manual page. mwah π
π¦ where this page comes from
- ubuntu jammy: pakcs 3.3.0-1 Β· BSD-3-Clause
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms