Skip to content

Fix regression around type skolems and if exprs#77

Closed
gnovark wants to merge 1 commit intoscala:2.10.xfrom
gnovark:topic/skolem-ifelse