Releases

Tactic proofs, a proof kernel that re-checks every theorem, mutable bindings, regions, packages, machine-readable diagnostics — and the first release under the Albite name.

The first slice of v2.0 — the rules the compiler now enforces, signed integers, a string builder, an arena allocator, and one error per mistake.

Language completeness — early return, the ? operator, nested patterns, propositional equality and induction.

The first public release — a self-hosted, dependently-typed compiler with a verified triple-compile fixed point.