Skip to content

feat: restore the Elm constraint tree, add representation coverage and fix type-system crashes - #44

Merged
MicroProofs merged 24 commits into
mainfrom
fixing-issues
Oct 24, 2026
Merged

feat: restore the Elm constraint tree, add representation coverage and fix type-system crashes#44
MicroProofs merged 24 commits into
mainfrom
fixing-issues

Commits

  1. Commits on Oct 14, 2026

  2. Commits on Oct 15, 2026

  3. Commits on Oct 16, 2026

  4. Commits on Oct 24, 2026