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 | iexLinux / macOS:
curl -fsSL https://raw.githubusercontent.com/edda-lang/edda-bootstrap/main/install.sh | bashThe 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