0.2.3 — 2026-09-05

Released: nash-cli 0.2.3, nash-ast 0.4.0, nash-can 0.3.2, nash-constrain 0.2.2, nash-driver 0.2.2, nash-parse 0.3.0, nash-solve 0.2.2, nash-source 0.4.0

Minor changes

• nash-ast, nash-can, nash-parse, nash-source — 3e0c6af Add validator module headers. — Thanks @MicroProofs!
• nash-can, nash-parse, nash-source — 1726a38 Add do blocks with bind, let, and expression statements. — Thanks @MicroProofs!
• nash-can, nash-parse, nash-source — 6b61624 Add attributes to value, union, and alias declarations. — Thanks @MicroProofs!
• nash-can, nash-parse, nash-source — 765a64a Add implementation declaration syntax. — Thanks @MicroProofs!
• nash-can, nash-driver, nash-parse, nash-source — 9883ea8 Add module-level unit and property test blocks. Resolve project roots before
  discovering source files so relative nash check paths work. — Thanks @MicroProofs!
• nash-can, nash-parse, nash-source — 35b5185 Add hexadecimal bytes literals to expressions and patterns. — Thanks @MicroProofs!
• nash-can, nash-parse, nash-source — 606d6b1 Add constrained type annotations to the surface syntax. — Thanks @MicroProofs!
• nash-can, nash-parse, nash-source — 4a3b5cb Add qualified and unqualified macro call syntax. — Thanks @MicroProofs!
• nash-can, nash-parse, nash-source — cbb9962 Add trait declaration syntax. — Thanks @MicroProofs!
• nash-can, nash-parse, nash-source — d22bd2a Add quoted type variables, little type names, kind annotations, and labeled constructor fields. Remove record extension types. — Thanks @MicroProofs!
• nash-can, nash-parse, nash-source — 1f4d0fb Add assert, fail, todo, trace, and comptime expressions. — Thanks @MicroProofs!
• nash-can, nash-parse, nash-source — c9d4638 Add left and right partial operator sections. — Thanks @MicroProofs!
• nash-parse — a480977 Remove Elm-only syntax and reserve Nash keywords and operators. — Thanks @MicroProofs!

Patch changes

• nash-can — b08e4a1 Use distinct generated bindings for nested operator sections. — Thanks @MicroProofs!

Dependency updates

• nash-cli: nash-driver@0.2.2
• nash-ast: nash-source@0.4.0
• nash-can: nash-ast@0.4.0, nash-parse@0.3.0, nash-source@0.4.0
• nash-constrain: nash-ast@0.4.0
• nash-driver: nash-ast@0.4.0, nash-can@0.3.2, nash-constrain@0.2.2, nash-parse@0.3.0, nash-solve@0.2.2, nash-source@0.4.0
• nash-parse: nash-source@0.4.0
• nash-solve: nash-ast@0.4.0, nash-can@0.3.2, nash-constrain@0.2.2, nash-parse@0.3.0, nash-source@0.4.0