• Manual (PDF)
• Base libraries
• API Search
• Download

• Curry Homepage
• Curry Report

A package with PAKCS release 2.2.0 is available with Ubuntu 20.04. If you run this OS, PAKCS can be installed with the command

  > sudo apt install pakcs

Newer versions of PAKCS are also available asDocker images. Thus, if you do not want to compile PAKCS from source code (see below), e.g., since you use an unsupported operating system, you can run aDocker image of PAKCS. This image contains the interactive environment as well as some basic tools, like CPM (the Curry Package Manager), CurryCheck (a property test tool), CurryDoc (a documentation generator), CurryPP (a preprocessor implementing some extensions for Curry), and an interface viewing tool (invoked by the PAKCS command:interface). The latest docker image is based on Ubuntu (24.04) and SWI-Prolog, but everything is contained in this image. To run PAKCS with the Docker image, you need aDocker installation on your machine and run the command

  > docker run -it currylang/pakcs

This command starts the interactive PAKCS environment. However, in order to compile and execute your Curry programs stored in your local file system or to use the tools contained in the Docker image, one has to run the image with appropriate options. For this purpose, Unix/Linux users can use thePAKCS docker shell script to run PAKCS and other tools with the Docker image. For instance, to run the latest dockerized version of PAKCS, execute

  > curl -sSL -o pakcs.sh https://www.curry-lang.org/pakcs/pakcs-docker.sh  > sh pakcs.sh

If you want to install some specific release of PAKCS (see below), you can download and install this release directly. These releases are intended to run on Linux or Mac OS X systems. The installation requires an installed Prolog system, e.g.:

• SICStus-Prolog(Version 4) (recommended), or, if you do not have SICStus-Prolog,
• SWI-Prolog(the execution with SWI-Prolog is less efficient and requires a 64-bit system,otherwise stack overflows might occur during the installation).

If they are already installed on your system and you have thenames of their executables in your path (sicstus for SICStus-Prolog,swipl for SWI-Prolog), you can install PAKCSby decoding the tar archive and a "make" command, e.g., by

  tar xvzf pakcs-<version>-xxx-Linux.tar.gz  cd pakcs-<version>  make

(see also theinstallation instructionsfor more details).

If you install PAKCS from the source code distribution, you need also theGlasgow Haskell Compiler andCabal,a Haskell package management system,to compile the front end of PAKCS.For instance, if you run Ubuntu Linux, you can easily installthese packages by

  sudo apt-get install ghc cabal-install

Below you will the latest version of PAKCS and some older major releases.The following material is useful if you want to install the PAKCS distribution:

• Installation instructions
• Resources (interesting for newcomers)
• Release notes

Look into therelease notesto see what has been changed in this release.

Look into therelease notesto see what has been changed in this release.

PAKCS Version 3.9.0 (29/10/25)

PAKCS Version 3.8.0 (07/04/25)

PAKCS Version 3.7.2 (20/09/24)

PAKCS Version 3.7.0 (14/04/24)

PAKCS Version 3.6.0 (10/11/23)

PAKCS Version 3.5.2 (18/08/23)

PAKCS Version 3.5.1 (13/03/23)

PAKCS Version 3.5.0 (08/10/22)

PAKCS Version 3.4.2 (20/12/21)

PAKCS Version 3.3.0 (15/02/21)

Release with classData and new base library structure:

PAKCS Version 3.2.0 (30/11/20)

Release with classData and new base library structure:

PAKCS Version 2.3.0 (24/11/20)

PAKCS Version 2.2.0 (30/10/19)

PAKCS Version 2.1.2 (23/09/19)

PAKCS Version 2.1.1 (11/02/19)

PAKCS Version 2.1.0 (30/01/19)

PAKCS Version 2.0.2 (15/11/18)

PAKCS Version 2.0.1 (31/01/18)

Older releases without type classes:

PAKCS Version 1.15.0-b22 (04/07/18)

PAKCS Version 1.14.2 (24/02/17)

PAKCS Version 1.14.0 (19/04/16)

PAKCS Version 1.13.1 (02/10/15)

PAKCS Version 1.13.0 (24/08/15)

PAKCS Version 1.12.0 (15/07/15)

(with new Haskell-like record syntax!)

PAKCS Version 1.11.5 (28/02/15)

PAKCS Version 1.11.4 (23/10/14)

PAKCS Version 1.11.3 (21/07/14)

PAKCS Version 1.11.2 (06/09/13)

PAKCS Version 1.11.1 (13/02/13)

PAKCS Version 1.11.0 (31/10/12)

PAKCS Version 1.10.1 (05/10/12)

PAKCS Version 1.10.0 (06/06/12)

PAKCS Version 1.9.2 (30/04/11)

PAKCS Version 1.9.1 (13/01/09)

PAKCS Version 1.9.0 (14/12/07)

PAKCS Version 1.8.1 (31/10/07)

PAKCS Version 1.8.0 (27/03/07)

PAKCS Version 1.7.3 (27/02/07)

PAKCS Version 1.7.2 (29/03/06)

Note:This version is almost compatible with the Curry language asdescribed in the Curry report version 0.8.2.

PAKCS Version 1.7.1 (13/03/06)

Note:In contrast to older releases (1.6.x),this version contains a new improved front-end adapted from theMünster Curry Compiler.Furthermore, this version is also executable with the free software systemSWI-Prolog.

PAKCS Version 1.7.0 (06/12/05)

Note:In contrast to older releases (1.6.x),this version contains a new improved front-end adapted from theMünster Curry Compiler.Furthermore, this version is also executable with the free software systemSWI-Prolog.

PAKCS Version 1.6.1 (30/09/05)

Note:The distribution with precompiled libraries is slightly larger butneeds considerable less time for the installation.

PAKCS Version 1.6.0 (15/10/04)