Remove subgoals implied by prior errors, filter all errors in a type-…#22

Merged

gavinleroy merged 3 commits intomainfrom filter-implied-predicates

Jul 22, 2024

+252-120

Commits on Jul 17, 2024

Remove subgoals implied by prior errors, filter all errors in a type-checking body
gavinleroy
committed

Commits on Jul 22, 2024