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