Skip to content

Resolve bare #x / !#x conjuncts as boolean substitutions to trigger simplification - #234

Closed
CatarinaGamboa wants to merge 2 commits into
mainfrom
error-ifs
Closed

Resolve bare #x / !#x conjuncts as boolean substitutions to trigger simplification#234
CatarinaGamboa wants to merge 2 commits into
mainfrom
error-ifs

Commits

  1. Commits on May 29, 2026