Skip to content

Disjunction expansion

Compare
Choose a tag to compare
@quoll quoll released this 10 Sep 16:09
· 37 commits to main since this release

Disjunctions (OR expressions) can now have different variables bound in each argument