2. Installing And Running Alef

You do not need the private Alef source repository. Public usage starts with a

binary named alef.

Install On macOS Apple Silicon

Download the current public binary:


curl -L -o alef \
  https://github.com/mturac/aleflang-docs/releases/latest/download/alef-darwin-arm64
chmod +x ./alef
./alef --version

Expected output starts with:


Alef VM v1.0.0-rc.1

Move it onto your PATH:


mkdir -p ~/.local/bin
mv ./alef ~/.local/bin/alef

Open a new terminal or make sure ~/.local/bin is on your PATH, then check:


alef --version

Create Your First File

Make a folder for learning:


mkdir alef-learning
cd alef-learning

Create main.alef:


fn main() {
    println("hello, Alef")
}

Run it:


alef run main.alef

Expected output:


hello, Alef

Useful Commands


alef help
alef version
alef run main.alef
alef repl
alef test

The shorter form also works:


alef main.alef

This book uses alef run main.alef because it is explicit.

When Something Fails

If the command is not found, your terminal cannot find the binary:


command not found: alef

Fix it by running the binary directly:


./alef --version

or by moving it onto your PATH.

If the file is missing, check the current folder:


ls

You should see main.alef.

Public Examples Without Source Access

Public example repositories should contain .alef programs, fixtures, smoke

scripts, and README instructions. They should not require access to the private

Alef compiler or runtime source tree.

Example repos should accept ALEF_BIN:


ALEF_BIN=/path/to/alef bash scripts/smoke.sh

If ALEF_BIN is not set, examples should fall back to alef from PATH.

macOS: sign the binary

After downloading and placing the alef binary, ad-hoc sign it so macOS

Taskgated does not block execution:


chmod +x ./alef
codesign --force -s - ./alef
./alef --version

Public docs: What's New — July 2026.