Skip to content

The corpus was recording equality where the language does predicate application - #75

Merged
rmichaelthomas merged 1 commit into
mainfrom
feat/corpus-define-cases
Sep 12, 2026
Merged

rmichaelthomas merged 1 commit into
mainfrom
feat/corpus-define-cases

Commits

Commits on Sep 12, 2026