PL twitter: quick, what's the scariest screenshot you can find of a paper with an overwhelming amount of inference rules?
22
25
82
Conversation
Elaborating Dependent (co)Pattern Matching is pretty terrifying, remind me to post a screenshot tomorrow
1
woopsie
Quote Tweet
Replying to @wilcoxjay
I am so thankful for the existence of this paper so I feel rather bad posting it, but I did find that all the different notations at play kind of overloaded my brain!
