I think it would be interesting to do a metastudy on metasyntax and how people write things, especially in dependent type theory
I know someone already did one for all the different notations people use for substitution but there's a lot more than just that
I don't know what questions would be interesting to ask though


I'm thinking about this because I'm inventing nonstandard notation again

I can't resist infix notation. It's the Haskeller in me

Sign in to participate in the conversation

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.