Downloading KiCS2

Docker Images

Newer versions of KiCS2 are also available as Docker images. Thus, if you do not want to compile KiCS2 from source code (see below), e.g., since you use an unsupported operating system, you can run a Docker image of KiCS2. 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 KiCS2 command :interface). The latest docker image is based on Ubuntu (18.04) and the Glasgow Haskell Compiler (8.0.2) but everything is contained in this image. To run KiCS2 with the Docker image, you need Docker installed on your machine and run the command

  > docker run -it caups/kics2

This command starts the interactive KiCS2 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 instance, Unix/Linux users can use this shell script to run KiCS2 and other tools with the Docker image.

Source code installation

The KiCS2 distribution runs on Unix-based platforms and has been developed and tested under Linux (Debian/Ubuntu). However, it should also run under similar platforms like SunOS or Mac OS X. If you want to install and run the complete system on your computer, you need a Haskell implementation, in particular the Glasgow Haskell Compiler (up to version 8.4.3, due to errors in newer GHC versions) and Cabal (version 2.2.x), a Haskell package management system. For instance, if you run Ubuntu Linux, you can easily install these packages by

  sudo apt-get install ghc ghc-prof cabal-install

Now you can install KiCS2 by unpacking the distribution file and running "make":

  tar xvzf kics2-<version>.tar.gz
  cd kics2-<version>
  make

Further information can be found in the installation instructions.

Development release:

Look into the release notes to see what has been changed in the this release.

Current release:

KiCS2 Version 2.3.0 (21/11/20): kics2-2.3.0.tar.gz kics2-2.3.0-manual.pdf

Older releases:

KiCS2 Version 2.2.0 (30/10/19): kics2-2.2.0.tar.gz kics2-2.2.0-manual.pdf
KiCS2 Version 2.0.0 (23/11/18): kics2-2.0.0.tar.gz kics2-2.0.0-manual.pdf

Older releases without type classes:

KiCS2 Version 0.6.0-b15 (04/07/18): kics2-0.6.0.tar.gz kics2-0.6.0-manual.pdf
KiCS2 Version 0.5.1 (10/04/17): kics2-0.5.1.tar.gz kics2-0.5.1-manual.pdf
KiCS2 Version 0.5.0 (11/04/16): kics2-0.5.0.tar.gz
KiCS2 Version 0.4.1 (02/10/15): kics2-0.4.1.tar.gz
KiCS2 Version 0.4.0 (26/08/15):
(with new Haskell-like record syntax!)
kics2-0.4.0.tar.gz
KiCS2 Version 0.3.3 (17/02/15): kics2-0.3.3.tar.gz
KiCS2 Version 0.3.2 (19/09/14): kics2-0.3.2.tar.gz
KiCS2 Version 0.3.1 (08/07/14): kics2-0.3.1.tar.gz
KiCS2 Version 0.3.0 (11/09/13): kics2-0.3.0.tar.gz
KiCS2 Version 0.2.4 (11/07/13): kics2-0.2.4.tar.gz
KiCS2 Version 0.2.3 (28/02/13): kics2-0.2.3.tar.gz
KiCS2 Version 0.2.2 (04/12/12): kics2-0.2.2.tar.gz
KiCS2 Version 0.2.1 (11/09/12): kics2-0.2.1.tar.gz
KiCS2 Version 0.1 (16/12/11): kics2-0.1.tar.gz