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