Release v2.1.4 · koka-lang/koka

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

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).

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