Skip to content

Redesign test output to use logical quantifier symbols#70

Merged
johnchandlerburnham merged 2 commits intomainfrom
jcb/pretty-printing
Feb 5, 2026
Merged

Redesign test output to use logical quantifier symbols#70
johnchandlerburnham merged 2 commits intomainfrom
jcb/pretty-printing

Commits

Commits on Jan 28, 2026