Haskell

467 readers

6 users here now

founded 2 years ago

MODERATORS

haskman@programming.dev

Issue 430 :: Haskell Weekly (haskellweekly.news)

submitted 5 months ago by mac@programming.dev to c/haskell@programming.dev

3 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] bss03@infosec.pub 2 points 5 months ago

Actually, 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.

permalink
fedilink
source
parent