[ UPDATES ]

Compiler & language updates

Release notes for the DEXA compiler and language only.

The main repository (dxa-dev) will be made public at 1.0.0.

0.1.0

First minor — new builtins, better errors

15th March 2026

Major compiler upgrade: new builtins abs, min, max, sqrt, len. Errors from run_source now include line/column and source snippet when available.

Try Playground and the Tour.

0.0.9

Top-level globals

1st March 2026

Compiler supports top-level let bindings (globals with explicit types). Programs can be globals-only (result 0) or globals + fn main() -> int.

Try Playground and the Tour.

0.0.8

Hardening records + address + IR validation

17th December 2025

Records stricter; address enforced end-to-end; IR validation fails fast.

IR validation runs after lowering, before interpretation. Unknown record types/fields rejected; address("...") required.

0.0.7

ProgramResult, prints, trace & gas

11th December 2025

ProgramResult::Ok/RequireFail; ExecutionTrace; GasMeter.

Structured ProgramResult; require → RequireFail; print appends to prints.

0.0.6

Records, address, wallet example

5th December 2025

Value::Record; Display; address type; Wallet model.

Value::Record, Display, address type, Wallet + new_wallet/credit/debit. See Tour.

0.0.5–0.0.1: Loops, models/contracts, diagnostics, let mut, scopes, conditionals, functions, lexer/parser.