Support infix patterns with eadtPattern

haskus / packages

Haskus packages

https://haskus.org/

24 stars 11 forks source link

Closed hsyl20 closed 5 years ago

hsyl20 commented 5 years ago

Add support for:

eadtInfixPattern 'AbsF ":->"
====>
pattern a :-> b = VF (AbsF a b)