Edda v0.1.0 — bootstrap compiler

Edda v0.1.0 — bootstrap compiler

First tagged release of the Edda bootstrap compiler — the Rust-based v0.1 reference implementation. Programs type-check and compile to native binaries through the full pipeline (parse → typecheck → MIR → LLVM → object → link).

Install — no Rust, LLVM, or Z3 required

Windows (PowerShell):

irm https://raw.githubusercontent.com/edda-lang/edda-bootstrap/main/install.ps1 | iex

Linux / macOS:

curl -fsSL https://raw.githubusercontent.com/edda-lang/edda-bootstrap/main/install.sh | bash

The script downloads the archive for your platform, unpacks it to ~/.edda-bootstrap, and adds ~/.edda-bootstrap/bin to your PATH. The archive bundles the edda binary next to its vendored std/ and runes/ and the LLVM runtime it links against — so edda check / build / run work out of the box, with no EDDA_STDLIB_ROOT to set. Z3 is statically linked. The only external requirement is a system linker: MSVC Build Tools (Desktop C++ workload) on Windows, lld/mold on Linux, or Xcode Command Line Tools on macOS.

Platform status

Platform	Archive	Status
x86-64-windows-msvc	✅ attached	Verified — first-class platform.
aarch64-macos-darwin	✅ attached	Experimental — CI-built, not yet verified on real hardware. Verification welcome (#1).
x86-64-linux-gnu, aarch64-linux-gnu	⏳ not yet	Blocked on one platform-specific link fix — help wanted (#1). Build from source in the meantime.

We currently develop on Windows only, so Linux/macOS contributions — a fix, a build, or a verification — are especially welcome. See #1 and CONTRIBUTING.md.

Quickstart

edda version
mkdir hello && cd hello
# create package.toml + src/main.ea (see the language docs for the hello-world shape)
edda check && edda build && edda run