Koka Versions Save

Koka language compiler and interpreter

v2.3.4

2 years ago
After installing, read the getting started guide.

Linux (x64, arm64), macOS (x64, M1), and FreeBSD (x64)

Tested on Ubuntu 18, 20, Debian 10, FreeBSD 13, macOS Catalina (x64), and Big Sur (M1), and should run on most Linux distributions. From a command prompt, run:

curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.4/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • If curl is not installed on your system, use
    wget -qO- https://github.com/koka-lang/koka/releases/download/v2.3.4/install.sh | sh

  • For most installations this will ask for root access in order to install to /usr/local/bin. For more control, you can pass a different prefix. For example, installing to ~/.local instead:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.4/install.sh | sh -s -- --prefix=~/.local

  • To uninstall a version, use the --uninstall option:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.4/install.sh | sh -s -- --uninstall

Windows 10 (x64)

Open a cmd prompt and download and run the installer:

curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.4/install.bat && %tmp%\install-koka.bat

This will also prompt to install the clang compiler if needed, and install syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • On Windows, the default install is to the user profile at %APPDATA%\local. You can change the installation directory using --prefix. For example:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.4/install.bat && %tmp%\install-koka.bat --prefix=c:\programs\local

  • To uninstall a version, use the --uninstall option:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.4/install.bat && %tmp%\install-koka.bat --uninstall

Other platforms

You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.

v2.3.2

2 years ago
After installing, read the getting started guide.

Linux (x64, arm64) and macOS (x64, M1)

Tested on Ubuntu 18, 20, Debian 10, macOS Catalina (x64) and Big Sur (M1), and should run on most Linux distributions. From a command prompt, run:

curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.2/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • If curl is not installed on your system, use
    wget -qO- https://github.com/koka-lang/koka/releases/download/v2.3.2/install.sh | sh

  • For most installations this will ask for root access in order to install to /usr/local/bin. For more control, you can pass a different prefix. For example, installing to ~/.local instead:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.2/install.sh | sh -s -- --prefix=~/.local

  • To uninstall a version, use the --uninstall option:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.2/install.sh | sh -s -- --uninstall

Windows 10 (x64)

Open a cmd prompt and download and run the installer:

curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.2/install.bat && %tmp%\install-koka.bat

This will also prompt to install the clang compiler if needed, and install syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • On Windows, the default install is to the user profile at %APPDATA%\local. You can change the installation directory using --prefix. For example:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.2/install.bat && %tmp%\install-koka.bat --prefix=c:\programs\local

  • To uninstall a version, use the --uninstall option:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.2/install.bat && %tmp%\install-koka.bat --uninstall

Other platforms

You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.

v2.3.1

2 years ago
After installing, read the getting started guide.

Linux (x64, arm64) and macOS (x64, M1)

Tested on Ubuntu 18, 20, Debian 10, macOS Catalina (x64) and Big Sur (M1), and should run on most Linux distributions. From a command prompt, run:

curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.1/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • If curl is not installed on your system, use
    wget -qO- https://github.com/koka-lang/koka/releases/download/v2.3.1/install.sh | sh

  • For most installations this will ask for root access in order to install to /usr/local/bin. For more control, you can pass a different prefix. For example, installing to ~/.local instead:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.1/install.sh | sh -s -- --prefix=~/.local

  • To uninstall a version, use the --uninstall option:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.1/install.sh | sh -s -- --uninstall

Windows 10 (x64)

Open a cmd prompt and download and run the installer:

curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.1/install.bat && %tmp%\install-koka.bat

This will also prompt to install the clang compiler if needed, and install syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • On Windows, the default install is to the user profile at %APPDATA%\local. You can change the installation directory using --prefix. For example:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.1/install.bat && %tmp%\install-koka.bat --prefix=c:\programs\local

  • To uninstall a version, use the --uninstall option:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.1/install.bat && %tmp%\install-koka.bat --uninstall

Other platforms

You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.

v2.3.0

2 years ago
After installing, read the getting started guide.

Linux (x64, arm64) and macOS (x64, M1)

Tested on Ubuntu 18, 20, Debian 10, macOS Catalina (x64) and Big Sur (M1), and should run on most Linux distributions. From a command prompt, run:

curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.0/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • If curl is not installed on your system, use
    wget -qO- https://github.com/koka-lang/koka/releases/download/v2.3.0/install.sh | sh

  • For most installations this will ask for root access in order to install to /usr/local/bin. For more control, you can pass a different prefix. For example, installing to ~/.local instead:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.0/install.sh | sh -s -- --prefix=~/.local

  • To uninstall a version, use the --uninstall option:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.3.0/install.sh | sh -s -- --uninstall

Windows 10 (x64)

Open a cmd prompt and download and run the installer:

curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.0/install.bat && %tmp%\install-koka.bat

This will also prompt to install the clang compiler if needed, and install syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • On Windows, the default install is to the user profile at %APPDATA%\local. You can change the installation directory using --prefix. For example:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.0/install.bat && %tmp%\install-koka.bat --prefix=c:\programs\local

  • To uninstall a version, use the --uninstall option:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.3.0/install.bat && %tmp%\install-koka.bat --uninstall

Other platforms

You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.

v2.2.1

2 years ago
After installing, read the getting started guide.

Linux (x64, arm64) and macOS (x64, M1)

Tested on Ubuntu 18, 20, Debian 10, macOS Catalina (x64) and Big Sur (M1), and should run on most Linux distributions. From a command prompt, run:

curl -sSL https://github.com/koka-lang/koka/releases/download/v2.2.1/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • If curl is not installed on your system, use
    wget -qO- https://github.com/koka-lang/koka/releases/download/v2.2.1/install.sh | sh

  • For most installations this will ask for root access in order to install to /usr/local/bin. For more control, you can pass a different prefix. For example, installing to ~/.local instead:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.2.1/install.sh | sh -s -- --prefix=~/.local

  • To uninstall a version, use the --uninstall option:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.2.1/install.sh | sh -s -- --uninstall

Windows 10 (x64)

Open a cmd prompt and download and run the installer:

curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.2.1/install.bat && %tmp%\install-koka.bat

This will also prompt to install the clang compiler if needed, and install syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • On Windows, the default install is to the user profile at %APPDATA%\local. You can change the installation directory using --prefix. For example:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.2.1/install.bat && %tmp%\install-koka.bat --prefix=c:\programs\local

  • To uninstall a version, use the --uninstall option:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.2.1/install.bat && %tmp%\install-koka.bat --uninstall

Other platforms

You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.

v2.2.0

2 years ago
After installing, read the getting started guide.

Linux (x64, arm64) and macOS (x64, M1)

Tested on Ubuntu 18, 20, Debian 10, macOS Catalina (x64) and Big Sur (M1), and should run on most Linux distributions. From a command prompt, run:

curl -sSL https://github.com/koka-lang/koka/releases/download/v2.2.0/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • If curl is not installed on your system, use
    wget -qO- https://github.com/koka-lang/koka/releases/download/v2.2.0/install.sh | sh

  • For most installations this will ask for root access in order to install to /usr/local/bin. For more control, you can pass a different prefix. For example, installing to ~/.local instead:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.2.0/install.sh | sh -s -- --prefix=~/.local

  • To uninstall a version, use the --uninstall option:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.2.0/install.sh | sh -s -- --uninstall

Windows 10 (x64)

Open a cmd prompt and download and run the installer:

curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.2.0/install.bat && %tmp%\install-koka.bat

This will also prompt to install the clang compiler if needed, and install syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • On Windows, the default install is to the user profile at %APPDATA%\local. You can change the installation directory using --prefix. For example:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.2.0/install.bat && %tmp%\install-koka.bat --prefix=c:\programs\local

  • To uninstall a version, use the --uninstall option:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.2.0/install.bat && %tmp%\install-koka.bat --uninstall

Other platforms

You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.

v2.1.9

2 years ago
After installing, read the getting started guide.

Linux (x64, arm64) and macOS (x64, M1)

Tested on Ubuntu 18, 20, Debian 10, macOS Catalina (x64) and Big Sur (M1), and should run on most Linux distributions. From a command prompt, run:

curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.9/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • If curl is not installed on your system, use
    wget -qO- https://github.com/koka-lang/koka/releases/download/v2.1.9/install.sh | sh

  • For most installations this will ask for root access in order to install to /usr/local/bin. For more control, you can pass a different prefix. For example, installing to ~/.local instead:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.9/install.sh | sh -s -- --prefix=~/.local

  • To uninstall a version, use the --uninstall option:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.9/install.sh | sh -s -- --uninstall

Windows 10 (x64)

Open a cmd prompt and download and run the installer:

curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.9/install.bat && %tmp%\install-koka.bat

This will also prompt to install the clang compiler if needed, and install syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • On Windows, the default install is to the user profile at %APPDATA%\local. You can change the installation directory using --prefix. For example:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.9/install.bat && %tmp%\install-koka.bat --prefix=c:\programs\local

  • To uninstall a version, use the --uninstall option:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.9/install.bat && %tmp%\install-koka.bat --uninstall

Other platforms

You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.

v2.1.8

2 years ago
After installing, read the getting started guide.

Linux (x64, arm64) and macOS (x64, M1)

Tested on Ubuntu 18, 20, Debian 10, macOS Catalina (x64) and Big Sur (M1), and should run on most Linux distributions. From a command prompt, run:

curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.8/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • If curl is not installed on your system, use
    wget -qO- https://github.com/koka-lang/koka/releases/download/v2.1.8/install.sh | sh

  • For most installations this will ask for root access in order to install to /usr/local/bin. For more control, you can pass a different prefix. For example, installing to ~/.local instead:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.8/install.sh | sh -s -- --prefix=~/.local

  • To uninstall a version, use the --uninstall option:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.8/install.sh | sh -s -- --uninstall

Windows 10 (x64)

Open a cmd prompt and download and run the installer:

curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.8/install.bat && %tmp%\install-koka.bat

This will also prompt to install the clang compiler if needed, and install syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • On Windows, the default install is to the user profile at %APPDATA%\local. You can change the installation directory using --prefix. For example:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.8/install.bat && %tmp%\install-koka.bat --prefix=c:\programs\local

  • To uninstall a version, use the --uninstall option:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.8/install.bat && %tmp%\install-koka.bat --uninstall

Other platforms

You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.

v2.1.6

2 years ago
After installing, read the getting started guide.

Linux (x64,arm64) and macOS (x64)

Tested on Ubuntu 18, 20, Debian 10, and macOS X Catalina, and should run on most Linux distributions. From a command prompt, run:

curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.6/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • If curl is not installed on your system, use
    wget -qO- https://github.com/koka-lang/koka/releases/download/v2.1.6/install.sh | sh

  • For most installations this will ask for root access in order to install to /usr/local/bin. For more control, you can pass a different prefix. For example, installing to ~/.local instead:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.6/install.sh | sh -s -- --prefix=~/.local

  • To uninstall a version, use the --uninstall option:
    curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.6/install.sh | sh -s -- --uninstall

Windows 10 (x64)

Open a cmd prompt and download and run the installer:

curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.6/install.bat && %tmp%\install-koka.bat

This will also prompt to install the clang compiler if needed, and install syntax highlighting for the VS Code and Atom editors. After install, run koka to verify if koka installed correctly.

  • On Windows, the default install is to the user profile at %APPDATA%\local. You can change the installation directory using --prefix. For example:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.6/install.bat && %tmp%\install-koka.bat --prefix=c:\programs\local

  • To uninstall a version, use the --uninstall option:
    curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.6/install.bat && %tmp%\install-koka.bat --uninstall

Other platforms

You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.

v2.1.4

2 years ago
After installing, read the getting started guide.

Linux and macOS (64-bit x86)

Tested on Ubuntu 18, 20, Debian 10, and macOS X Catalina, and should run on most Linux distributions. From a command prompt, run:

> curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.4/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. After install, run

> koka

to verify if koka installed correctly.

  • If curl is not installed on your system, use 
    > wget -qO- https://github.com/koka-lang/koka/releases/download/v2.1.4/install.sh | sh
  • For most installations this will ask for root access in order to install to /usr/local/bin. For more control, you can pass a different prefix. For example, installing to ~/.local instead: 
    > curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.4/install.sh | sh -s -- --prefix=~/.local
  • To uninstall a version, use the --uninstall switch: 
    > curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.4/install.sh | sh -s -- --uninstall

Windows 10 (64-bit x86)

Open a command prompt and download and run the installer:

> curl -L -o install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.4/install.bat 
> install-koka.bat

This will also prompt to install the clang compiler if needed, and install syntax highlighting for the VS Code and Atom editors. After install, run

> koka

to verify if koka installed correctly.

  • Instead of clang, you can also use koka --cc=cl to select the Microsoft Visual Studio compiler (when running in a Visual Studio x64 native tools command prompt).

Other platforms

You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.