Skip to content

Wrap higher-order predicate errors with source text#18

Merged
myzie merged 1 commit into
mainfrom
higher-order-predicate-error-wrap
May 8, 2026
Merged

Wrap higher-order predicate errors with source text#18
myzie merged 1 commit into
mainfrom
higher-order-predicate-error-wrap

Wrap higher-order predicate errors with source text

98d31e8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar