Skip to content

Skip redundant unifyTypes in entailment solver (-15% full build) - #14

Merged
kozak merged 4 commits into
restaumaticfrom
skip-redundant-entailment-unify
Apr 21, 2026
Merged

Skip redundant unifyTypes in entailment solver (-15% full build)#14
kozak merged 4 commits into
restaumaticfrom
skip-redundant-entailment-unify

Resolve purs binary via PATH inside stack exec steps

6f041e5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar