Repository navigation
Treat variables that are not in the pattern as unbound in expressions - #85
Open
MathiasVDA wants to merge 1 commit into
Open
MathiasVDA wants to merge 1 commit into
MathiasVDA wants to merge 1 commit into
Commits
Commits on Oct 5, 2026