if you think about it type theory is just Homestuck

· · Web · 2 · 6 · 15

@hazel As someone who knows very little type theory and is reading Homestuck: what do you mean?

@hazel how far into a math education do I have to get before I learn about double Möbius reacharounds

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.