Skip to content

feat(lean): Add support for while loops#1857

Merged
abentkamp merged 1 commit intomainfrom
alex/while
Jan 8, 2026
Merged

feat(lean): Add support for while loops#1857
abentkamp merged 1 commit intomainfrom
alex/while

Commits

Commits on Jan 8, 2026