Mac to Haskell · 9 months agoIssue 430 :: Haskell Weeklyhaskellweekly.newsexternal-linkmessage-square3linkfedilinkarrow-up16arrow-down10
arrow-up16arrow-down1external-linkIssue 430 :: Haskell Weeklyhaskellweekly.newsMac to Haskell · 9 months agomessage-square3linkfedilink
minus-squarebss03@infosec.publinkfedilinkarrow-up2·9 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.