Skip to content

Typecheck: Do more substitution on reduced preds#680

Merged
quark17 merged 1 commit intoB-Lang-org:mainfrom quark17:apsub-satmanyMar 3, 2024

Commits

Commits on Mar 2, 2024