Those interested should also watch youtube.com/watch?v=hIZxTQ, which explains why you might still want to do coherence despite anti-modularity.
This Tweet is unavailable. Learn more
Conversation
This is covered under in the modular implicits paper. It is a tricky design problem, but I would prefer we tried to get implicits to work.
2
1
You mean the Set example? That's addressed in Ed's talk.
1
Yeah! Sorry, I saw it while back know he brings it up. Made a few mental leaps but it seems I forgot to write them in my actual tweet 😅