Download

Install program binary

Download the latest release for your platform, decompress it, and place the technique binary somewhere on your PATH. For other platforms, or to build from source, see Technique's GitHub releases page.

Download release
Uncompress
Put on PATH
Make executable

Once installed, verify that the compiler is on your path and working as you'd expect:

$ technique --version
v0.5.4
$ technique --help
The Technique Procedures Language.

Usage: technique [COMMAND]

Commands:
  check   Validate the syntax, structure, and types in the given
          Technique document.
  format  Format the code in the given Technique document.
  render  Render the Technique document into a printable PDF.
$ technique check Hello.tq
ok
$

Install typesetting system

To use the technique render subcommand, you will also need the Typst typesetter installed. If you have the Rust toolchain on your computer then Typst can be installed via:

$ cargo install typst-cli
$

Or you can download a binary from Typst's GitHub releases page as above. Either way, you should see something like this when installed correctly:

$  typst --version
typst 0.14.2 (b33de9de)
$

Build from source

Technique is open source and is written in Rust. Assuming you already have the Rust toolchain installed, you can download and build Technique as follows:

$ git checkout -o technique-lang https://github.com/technique-lang/technique
$ cd technique/
$ cargo build
$

The technique program can be run in-place:

$ cargo run -- check Hello.tq
ok
$

or you can install to your user's home directory:

$ cargo install --path .
$ technique check Hello.tq
ok
$