This repository has been archived by the owner on Oct 22, 2024. It is now read-only.
Add more advice away from predicate#233
Merged
natebosch merged 5 commits intomasterfrom type-matcher-over-predicateNov 21, 2023
+26-6
Commits
Commits on Nov 2, 2023
Commits on Nov 21, 2023
- committed
- committed