v3.2.3

VS Code installation

It is recommended to install the binary compiler via the VS Code Koka extension. See the getting started guide for more information.

Command-line installation

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

Tested on macOS, Ubuntu, Debian, and should run on most Linux distributions. From a command prompt, run:

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

After install, run koka to verify that Koka installed correctly.

• 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/v3.2.3/install.sh | sh -s -- --prefix=~/.local

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

Windows (x64, arm64)

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/v3.2.3/install.bat && %tmp%\install-koka.bat

This will also prompt to install the Clang compiler, the Windows SDK if needed, and syntax highlighting for the VS Code editor. After install, run koka to verify that Koka installed correctly.

• On Windows arm64, we use the x64 Koka compiler (which runs emulated), but the generated code is native arm64.

• 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/v3.2.3/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/v3.2.3/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.

v3.2.3-alpha1

VS Code installation

It is recommended to install the binary compiler via the VS Code Koka extension. See the getting started guide for more information.

Command-line installation

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

Tested on macOS, Ubuntu, Debian, and should run on most Linux distributions. From a command prompt, run:

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

After install, run koka to verify that Koka installed correctly.

• 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/v3.2.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/v3.2.2/install.sh | sh -s -- --uninstall

Windows (x64, arm64)

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/v3.2.2/install.bat && %tmp%\install-koka.bat

This will also prompt to install the Clang compiler, the Windows SDK if needed, and syntax highlighting for the VS Code editor. After install, run koka to verify that Koka installed correctly.

• On Windows arm64, we use the x64 Koka compiler (which runs emulated), but the generated code is native arm64.

• 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/v3.2.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/v3.2.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.

v3.2.2

VS Code installation

It is recommended to install the binary compiler via the VS Code Koka extension. See the getting started guide for more information.

Command Line Installation

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

Tested on macOS, Ubuntu, Debian, and should run on most Linux distributions. From a command prompt, run:

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

After install, run koka to verify if koka installed correctly.n

• 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/v3.2.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/v3.2.2/install.sh | sh -s -- --uninstall

Windows (x64, arm64)

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/v3.2.2/install.bat && %tmp%\install-koka.bat

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

• On Windows arm64, we use the x64 Koka compiler (which runs emulated), but the generated code is native arm64.

• 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/v3.2.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/v3.2.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.

v3.2.0

VS Code installation

It is recommended to install the binary compiler via the VS Code Koka extension. See the getting started guide for more information.

Command Line Installation

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

Tested on macOS, Ubuntu, Debian, and should run on most Linux distributions. From a command prompt, run:

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

After install, run koka to verify if koka installed correctly.n

• 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/v3.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/v3.2.0/install.sh | sh -s -- --uninstall

Windows (x64, arm64)

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/v3.2.0/install.bat && %tmp%\install-koka.bat

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

• On Windows arm64, we use the x64 Koka compiler (which runs emulated), but the generated code is native arm64.

• 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/v3.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/v3.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.

v3.1.3

VS Code installation

It is recommended to install the binary compiler via the VS Code Koka extension. See the getting started guide for more information.

Command Line Installation

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

Tested on macOS, Ubuntu, Debian, and should run on most Linux distributions. From a command prompt, run:

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

After install, run koka to verify if koka installed correctly.n

• 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/v3.1.3/install.sh | sh -s -- --prefix=~/.local

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

Windows (x64, arm64)

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/v3.1.3/install.bat && %tmp%\install-koka.bat

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

• On Windows arm64, we use the x64 Koka compiler (which runs emulated), but the generated code is native arm64.

• 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/v3.1.3/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/v3.1.3/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.

v3.1.2

VS Code installation

It is highly recommended to install the binary compiler via the VS Code Koka extension. See the
getting started guide for more information.

Command Line Installation

Linux (x64) and macOS (x64, arm64)

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

curl -sSL https://github.com/koka-lang/koka/releases/download/v3.1.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.n

• 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/v3.1.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/v3.1.2/install.sh | sh -s -- --uninstall

Windows 10/11 (x64, arm64)

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/v3.1.2/install.bat && %tmp%\install-koka.bat

This will also prompt to install the clang compiler and Windows SDK 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 arm64, we use the x64 Koka compiler (which runs emulated), but the generated code is native arm64.

• 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/v3.1.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/v3.1.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.

v3.1.1

Note that it is recommended to install the binary compiler via the VS Code Koka extension. See the getting started guide for more information.

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

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

curl -sSL https://github.com/koka-lang/koka/releases/download/v3.1.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.

• 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/v3.1.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/v3.1.1/install.sh | sh -s -- --uninstall

Windows 10/11 (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/v3.1.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/v3.1.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/v3.1.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.

v3.1.0

Note that it is recommended to install the binary compiler via the VS Code Koka extension. See the getting started guide for more information.

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

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

curl -sSL https://github.com/koka-lang/koka/releases/download/v3.1.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.

• 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/v3.1.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/v3.1.0/install.sh | sh -s -- --uninstall

Windows 10/11 (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/v3.1.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/v3.1.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/v3.1.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.

v3.0.4

Note that it is recommended to install the binary compiler via the VS Code Koka extension. See the getting started guide for more information.

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

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

curl -sSL https://github.com/koka-lang/koka/releases/download/v3.0.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.

• 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/v3.0.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/v3.0.4/install.sh | sh -s -- --uninstall

Windows 10/11 (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/v3.0.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/v3.0.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/v3.0.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.

v3.0.1

Note that it is recommended to install the binary compiler via the VS Code Koka extension. See the getting started guide for more information.

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

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

curl -sSL https://github.com/koka-lang/koka/releases/download/v3.0.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.

• 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/v3.0.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/v3.0.1/install.sh | sh -s -- --uninstall

Windows 10/11 (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/v3.0.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/v3.0.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/v3.0.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.