v2.0.9

Initial binary releases -- still experimental.

Linux and macOS (64-bit x86)

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

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

After install, run

> koka

to verify koka installed correctly.

• If curl is not installed on your system, use

  > wget -qO- https://github.com/koka-lang/koka/releases/download/v2.0.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.0.9/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.0.9/install.sh | sh -s -- --uninstall 
  

Windows 10 (64-bit x86)

Koka requires Visual Studio to be installed.
Open a Visual Studio x64 toolset command prompt and download and run the installer:

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

which will install koka to %APPDATA%\local\bin. You may need to add this directory to your PATH environment variable.
After this you can run the koka command from a Visual Studio x64 toolset command prompt where it will use cl (or clang-cl) to compile and be able to link with the standard Windows libraries:

> koka

• You can also download the Windows tar.gz bundle manually and use the following command to unpack it:

  > tar -xzf koka-v2.0.9-windows-amd64.tar.gz -C <destination folder>
  

  and add <destination folder>\bin to the PATH environment variable to find koka .
• If the Clang 64-bit compiler is installed, Koka will use clang-cl (instead of cl) which usually generates faster code. You can use koka --cc=cl to select the Visual Studio compiler explicitly.