0.7.0 — 2026-09-27

Released: nash-cli 0.7.0, nash-ast 0.12.0, nash-can 0.13.0, nash-codegen 0.4.3, nash-constrain 0.8.3, nash-docs 0.2.0, nash-driver 0.12.0, nash-fmt 0.2.0, nash-ir 0.3.4, nash-language-server 0.4.6, nash-nitpick 0.3.3, nash-parse 0.9.0, nash-plutus 0.3.3, nash-report 0.6.0, nash-solve 0.9.2, nash-source 0.10.0, nash-test 0.4.2

Minor changes

• nash-cli, nash-fmt, nash-parse, nash-report — fd56cc68 Add an AST-based Nash source formatter with 80-column layout, comment preservation,
  and source snapshot tests. Expose nash format (fmt), in-place and stdin
  formatting, and contextual --check diffs through the existing report style.
  Correct whitespace handling after message keywords and before constructor docs.
  Allow aligned explicit continuations inside do without merging statements. — Thanks @MicroProofs!

• nash-cli, nash-docs — d87929ed Render searchable HTML and Markdown API documentation with nash docs, including compiler-bundled Base documentation. — Thanks @MicroProofs!

• nash-ast, nash-can, nash-docs, nash-driver, nash-report, nash-solve — 4a3ec22f Add Primitive.map as a native pair-list alias with storable key/value types.
  Map builtins and library results preserve the alias. Library Eq implementations
  use structural Data equality for Big-element lists and Big/Big maps, and retain
  selected element equality for Little elements and mixed maps. No optimizer
  special case is needed. Generic callers with unknown element representations
  must request container Eq directly. Map equality preserves order and duplicates.

  Keep reflexive Lift inference nominal when checking alias identity, so explicit
  alias conversions can infer hidden type parameters without a false competitor. — Thanks @MicroProofs!

• nash-can, nash-codegen, nash-driver — 77149037 Move boolean helpers and &&/|| into Logic, below Eq and Ord. Preserve fully
  applied short-circuit behavior and default application scope. Qualified callers
  must use Logic.and/or/not/xor instead of Bool; explicit operator imports use
  Logic instead of Prelude. Simplify equality and boolean ordering with the helpers. — Thanks @MicroProofs!

• nash-docs, nash-driver — 4858f596 Extract public documentation from source comments and solved interfaces, and document the compiler-bundled Base API. — Thanks @MicroProofs!

• nash-parse, nash-source — 551b5d96 Preserve source comments and documentation in the surface AST for formatting and documentation extraction. Retain comment regions and text through parser backtracking, and attach module and declaration documentation. — Thanks @MicroProofs!

Patch changes

• nash-cli — 0cfd85a3 Process format inputs concurrently with asynchronous filesystem and stream I/O, and keep formatting work off Tokio executor threads. — Thanks @MicroProofs!
• nash-codegen, nash-driver, nash-plutus — 44e22412 Remove completed performance experiments, benchmark fixtures and unused benchmark dependencies while retaining functional coverage. — Thanks @MicroProofs!
• nash-codegen — 26011dab Lower unused native-unit bindings to a single-branch UPLC case, preserving strict sequencing without a lambda/application pair. — Thanks @MicroProofs!
• nash-fmt — bc3d00cd Wrap constrained type signatures before the fat arrow, keeping the function type together when it fits. Start multiline exposing lists on the next line. — Thanks @MicroProofs!
• nash-fmt — 27d64a27 Keep short definitions and arithmetic compact, and place do blocks after assignment and bind operators without extra indentation. — Thanks @MicroProofs!
• nash-plutus — 70a160a9 Decode deeply nested Flat terms with an explicit stack, avoiding host stack overflow for large generated programs. — Thanks @MicroProofs!

Dependency updates

• nash-cli: nash-codegen@0.4.3, nash-docs@0.2.0, nash-driver@0.12.0, nash-fmt@0.2.0, nash-language-server@0.4.6, nash-report@0.6.0, nash-test@0.4.2
• nash-ast: nash-source@0.10.0
• nash-can: nash-ast@0.12.0, nash-source@0.10.0
• nash-codegen: nash-ast@0.12.0, nash-can@0.13.0, nash-ir@0.3.4, nash-plutus@0.3.3, nash-solve@0.9.2, nash-test@0.4.2
• nash-constrain: nash-ast@0.12.0, nash-can@0.13.0
• nash-docs: nash-ast@0.12.0, nash-can@0.13.0, nash-driver@0.12.0, nash-parse@0.9.0, nash-report@0.6.0, nash-source@0.10.0
• nash-driver: nash-ast@0.12.0, nash-can@0.13.0, nash-codegen@0.4.3, nash-constrain@0.8.3, nash-nitpick@0.3.3, nash-parse@0.9.0, nash-plutus@0.3.3, nash-report@0.6.0, nash-solve@0.9.2, nash-source@0.10.0, nash-test@0.4.2
• nash-fmt: nash-parse@0.9.0, nash-report@0.6.0, nash-source@0.10.0
• nash-ir: nash-ast@0.12.0, nash-plutus@0.3.3
• nash-language-server: nash-driver@0.12.0, nash-report@0.6.0
• nash-nitpick: nash-ast@0.12.0
• nash-parse: nash-source@0.10.0
• nash-report: nash-ast@0.12.0, nash-can@0.13.0, nash-constrain@0.8.3, nash-nitpick@0.3.3, nash-parse@0.9.0, nash-source@0.10.0
• nash-solve: nash-ast@0.12.0, nash-can@0.13.0, nash-constrain@0.8.3
• nash-test: nash-plutus@0.3.3, nash-source@0.10.0