Skip to content

Make type of Assign more specific with Variable inductive#36

Draft
keyboardDrummer-bot wants to merge 3 commits into
mainfrom
issue-21-variable-type-refactor
Draft

Make type of Assign more specific with Variable inductive#36
keyboardDrummer-bot wants to merge 3 commits into
mainfrom
issue-21-variable-type-refactor

Commits

Commits on May 5, 2026