if you think about it type theory is just Homestuck
@hazel how far into a math education do I have to get before I learn about double Möbius reacharounds
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
@hazel As someone who knows very little type theory and is reading Homestuck: what do you mean?