this post was submitted on 25 Jul 2024
6 points (100.0% liked)

Haskell

457 readers
1 users here now

founded 1 year ago
MODERATORS
haskman
6
Issue 430 :: Haskell Weekly (haskellweekly.news)
submitted 4 months ago by mac to c/haskell
3 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 2 points 4 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.