New blog post: Typing Rules, Notation and Variables
flippac.org/posts/Typing%2
Upped this last night, it's about naming conventions, how I do slides these days, and how the need to fit things on paper conflicts with being able to read them easily!
Conversation
Replying to
This is something I like in the Web Assembly specification, for example! Most of the non-terminals are given longer names, which makes reading it somewhat easier, in my opinion: webassembly.github.io/spec/core/appe