[ UPDATES ]
DEXA language & tooling
Devlog and release notes in one place.
0.0.8
Hardening records + address + IR validation
2025-12-17Records 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
2025-12-11ProgramResult::Ok/RequireFail; ExecutionTrace; GasMeter.
Structured ProgramResult; require → RequireFail; print appends to prints.
0.0.6
Records, address, wallet example
2025-12-05Value::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.