Skip to content

Redesign test output to use logical quantifier symbols#70

Open
johnchandlerburnham wants to merge 2 commits intomainfrom
jcb/pretty-printing
Open

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

Commits

Commits on Jan 28, 2026