Skip to content

#727: change exists operator from postfix to prefix#741

Merged
jordanpadams merged 2 commits intodevelopfrom
issue_727
Apr 2, 2026
Merged

#727: change exists operator from postfix to prefix#741
jordanpadams merged 2 commits intodevelopfrom
issue_727

Commits

Commits on Mar 23, 2026

Commits on Mar 24, 2026