Mac to Haskell · 5 months agoIssue 430 :: Haskell Weeklyhaskellweekly.newsexternal-linkmessage-square3fedilinkarrow-up16arrow-down10
arrow-up16arrow-down1external-linkIssue 430 :: Haskell Weeklyhaskellweekly.newsMac to Haskell · 5 months agomessage-square3fedilink
minus-squarebss03@infosec.publinkfedilinkarrow-up2·5 months agoActually, unless we want to adopt and propagate the Eq constraint, we can’t normalize in embed. Maybe it would be worth it to have a normal proof.
Actually, unless we want to adopt and propagate the
Eqconstraint, we can’t normalize inembed. Maybe it would be worth it to have a normal proof.