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

kozak merged 4 commits into

restaumaticrestaumatic/purescript:restaumaticfrom

skip-redundant-entailment-unifyrestaumatic/purescript:skip-redundant-entailment-unifyCopy head branch name to clipboard