Skip to content

Carry a let expression's type annotation through to elaboration - #154

Merged
simonspies merged 1 commit into
mainfrom
let-annotation
Aug 1, 2026
Merged

Carry a let expression's type annotation through to elaboration#154
simonspies merged 1 commit into
mainfrom
let-annotation

Commits

Commits on Jul 31, 2026