PL twitter: quick, what's the scariest screenshot you can find of a paper with an overwhelming amount of inference rules?
22
25
81
Conversation
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!
4
3
6
I'm very thankful for the the judgement forms in the boxes though - it does ease some of the burden, and I find it harder when papers omit them. I just found it a bit of a struggle to remember how to parse stuff when going back and forth between pages.
1
Makes me wonder if more uniform notations are helpful when systems approach a certain level of complexity - also some sort of interactivity might have helped too, perhaps?