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 can't resist infix notation. It's the Haskeller in me
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.