Mac@programming.dev to Haskell@programming.dev · 5 months agoIssue 430 :: Haskell Weeklyhaskellweekly.newsexternal-linkmessage-square3fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkIssue 430 :: Haskell Weeklyhaskellweekly.newsMac@programming.dev to Haskell@programming.dev · 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.