search

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes
http://hazel.org/
MIT License
806 stars 52 forks source link

Fix #1345 #1348

Closed Negabinary closed 4 months ago

Negabinary commented 4 months ago

Thanks @disconcision for spotting this one, type normalization wasn't passing through parentheses, thus messing up the cast calculus.