How to install Rzk¶

VS Code extension with binaries (recommended)¶

These instructions will walk you through setting up Rzk using the "basic" setup and VS Code as the editor.

Install VS Code.
Launch VS Code and install the rzk extension.
Create a new file using "File > New Text File" (Ctrl+N). Click the Select a language prompt, type in rzk, and select "Literate Rzk Markdown".
You should see the following popup:
Click "Yes" button.

While it is installing, you can paste the following literate Rzk program into the new file:

# Sample literate Rzk markdown

```rzk
#lang rzk-1
#define id (A : U)
  : A -> A
  := \ x -> x
```

You should see the output of the proof assistant:

Loading file example.rzk.md
Checking module from example.rzk.md
[ 1 out of 1 ] Checking #define id
Everything is ok!

Congratulations! Now you have a working rzk setup :) Note that the rzk extension will notify you about updates of rzk and prompt updating to new versions.
See Quickstart to get familiar with the Rzk language!

You can download and use binaries (at least for some platforms) directly for one of the latest releases on GitHub at https://github.com/rzk-lang/rzk/releases. If your platform is not represented, please consider leaving an issue at https://github.com/rzk-lang/rzk/issues/new.

You can install rzk from sources. You can get the latest "stable" release from Hackage or build from the develop branch on GitHub.

To build and install with Stack from Hackage:

stack install rzk

To build and install with Stack from sources on GitHub:

git clone https://github.com/rzk-lang/rzk.git
cd rzk
git checkout develop
stack build && stack install

To build and install with cabal-install from Hackage:

cabal v2-install rzk

To build and install with cabal-install from sources on GitHub:

git clone https://github.com/rzk-lang/rzk.git
cd rzk
git checkout develop
cabal v2-build && cabal v2-install

Work-in-progress

To be done.