search

isovector / reasonablypolymorphic.com

⏳ my math blog
http://reasonablypolymorphic.com
BSD 3-Clause "New" or "Revised" License
23 stars 11 forks source link

blog/comby/ #18

Open utterances-bot opened 2 years ago

utterances-bot commented 2 years ago

Automatically Migrating Eq of No (/=) :: Reasonably Polymorphic

https://reasonablypolymorphic.com/blog/comby/

agentultra commented 2 years ago

retrie might be Haskell-aware enough for this sort of thing: https://hackage.haskell.org/package/retrie

isovector commented 2 years ago

I don't think it is, unfortunately. Retrie can't fiddle with imports or contexts or classes.