Skip to content

Releases: koka-lang/koka

v2.1.4

31 May 19:20
Compare
Choose a tag to compare

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.

v2.1.2

01 May 20:14
Compare
Choose a tag to compare

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.2/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. 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.1.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.1.2/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.2/install.sh | sh -s -- --uninstall 
    

Windows 10 (64-bit x86)

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

> curl -L -o install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.2/install.bat 
> install-koka.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.1.2-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.

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

09 Mar 02:02
Compare
Choose a tag to compare

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.1/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. 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.1.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.1.1/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.1/install.sh | sh -s -- --uninstall 
    

Windows 10 (64-bit x86)

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

> curl -L -o install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.1/install.bat 
> install-koka.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.1.1-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.

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

09 Mar 00:47
Compare
Choose a tag to compare

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.0/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. 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.1.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.1.0/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.0/install.sh | sh -s -- --uninstall 
    

Windows 10 (64-bit x86)

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

> curl -L -o install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.1.0/install.bat 
> install-koka.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.1.0-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.

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

15 Feb 01:14
Compare
Choose a tag to compare

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.0.16/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. 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.16/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.16/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.16/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.16/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.16-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.

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

12 Dec 01:08
Compare
Choose a tag to compare

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.0.14/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. 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.14/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.14/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.14/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.14/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.14-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.

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

02 Dec 23:57
Compare
Choose a tag to compare

Initial binary releases -- please report any issues.

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.0.12/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. 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.12/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.12/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.12/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.12/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.12-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.

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

29 Nov 23:28
Compare
Choose a tag to compare

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 distributions.
From a command prompt, run:

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

This also installs syntax highlighting for the VS Code and Atom editors. 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.11/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.11/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.11/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.11/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.11-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.

v2.0.10

28 Nov 23:08
Compare
Choose a tag to compare

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.10/install.sh | sh

This also installs syntax highlighting for the Visual Studio Code and Atom editors. 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.10/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.10/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.10/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.10/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.10-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.

v2.0.9

27 Nov 22:36
Compare
Choose a tag to compare

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.