Koka language compiler and interpreter
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.
curl
is not installed on your system, use
> wget -qO- https://github.com/koka-lang/koka/releases/download/v2.1.4/install.sh | sh
/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
--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.
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.
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.
curl
is not installed on your system, use
> wget -qO- https://github.com/koka-lang/koka/releases/download/v2.1.2/install.sh | sh
/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
--uninstall
switch:
> curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.2/install.sh | sh -s -- --uninstall
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
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
.clang-cl
(instead of cl
) which usually generates faster code. You can use koka --cc=cl
to select the Visual Studio compiler explicitly.You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.
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.
curl
is not installed on your system, use
> wget -qO- https://github.com/koka-lang/koka/releases/download/v2.1.1/install.sh | sh
/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
--uninstall
switch:
> curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.1/install.sh | sh -s -- --uninstall
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
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
.clang-cl
(instead of cl
) which usually generates faster code. You can use koka --cc=cl
to select the Visual Studio compiler explicitly.You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.
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.
curl
is not installed on your system, use
> wget -qO- https://github.com/koka-lang/koka/releases/download/v2.1.0/install.sh | sh
/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
--uninstall
switch:
> curl -sSL https://github.com/koka-lang/koka/releases/download/v2.1.0/install.sh | sh -s -- --uninstall
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
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
.clang-cl
(instead of cl
) which usually generates faster code. You can use koka --cc=cl
to select the Visual Studio compiler explicitly.You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.
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.
curl
is not installed on your system, use
> wget -qO- https://github.com/koka-lang/koka/releases/download/v2.0.16/install.sh | sh
/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
--uninstall
switch:
> curl -sSL https://github.com/koka-lang/koka/releases/download/v2.0.16/install.sh | sh -s -- --uninstall
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
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
.clang-cl
(instead of cl
) which usually generates faster code. You can use koka --cc=cl
to select the Visual Studio compiler explicitly.You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.
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.
curl
is not installed on your system, use
> wget -qO- https://github.com/koka-lang/koka/releases/download/v2.0.14/install.sh | sh
/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
--uninstall
switch:
> curl -sSL https://github.com/koka-lang/koka/releases/download/v2.0.14/install.sh | sh -s -- --uninstall
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
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
.clang-cl
(instead of cl
) which usually generates faster code. You can use koka --cc=cl
to select the Visual Studio compiler explicitly.You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.
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.
curl
is not installed on your system, use
> wget -qO- https://github.com/koka-lang/koka/releases/download/v2.0.12/install.sh | sh
/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
--uninstall
switch:
> curl -sSL https://github.com/koka-lang/koka/releases/download/v2.0.12/install.sh | sh -s -- --uninstall
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
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
.clang-cl
(instead of cl
) which usually generates faster code. You can use koka --cc=cl
to select the Visual Studio compiler explicitly.You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.
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.
curl
is not installed on your system, use
> wget -qO- https://github.com/koka-lang/koka/releases/download/v2.0.11/install.sh | sh
/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
--uninstall
switch:
> curl -sSL https://github.com/koka-lang/koka/releases/download/v2.0.11/install.sh | sh -s -- --uninstall
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
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
.clang-cl
(instead of cl
) which usually generates faster code. You can use koka --cc=cl
to select the Visual Studio compiler explicitly.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.
curl
is not installed on your system, use
> wget -qO- https://github.com/koka-lang/koka/releases/download/v2.0.10/install.sh | sh
/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
--uninstall
switch:
> curl -sSL https://github.com/koka-lang/koka/releases/download/v2.0.10/install.sh | sh -s -- --uninstall
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
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
.clang-cl
(instead of cl
) which usually generates faster code. You can use koka --cc=cl
to select the Visual Studio compiler explicitly.Initial binary releases -- still experimental.
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.
curl
is not installed on your system, use
> wget -qO- https://github.com/koka-lang/koka/releases/download/v2.0.9/install.sh | sh
/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
--uninstall
switch:
> curl -sSL https://github.com/koka-lang/koka/releases/download/v2.0.9/install.sh | sh -s -- --uninstall
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
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
.clang-cl
(instead of cl
) which usually generates faster code. You can use koka --cc=cl
to select the Visual Studio compiler explicitly.