Skip to content

lmd: structural desugaring contract for AST built outside the reader (bd-7gqr148v, #846) - #850

Merged
cscheid merged 9 commits into
mainfrom
feature/bd-7gqr148v-lmd-ast-desugar-contract
Oct 16, 2026
Merged

cscheid merged 9 commits into
mainfrom
feature/bd-7gqr148v-lmd-ast-desugar-contract

Commits

  1. Commits on Oct 15, 2026

  2. Commits on Oct 16, 2026