**Tulip** @hazel@types.pl · 2023-04-30T00:37:28Z

Tulip @hazel@types.pl

if you think about it type theory is just Homestuck

Apr 30, 2023, 00:37 · · Web · · ·

**Ran** @drop_d_drummer@types.pl · Apr 30, 2023, 01:57

**Ran** @drop_d_drummer@types.pl · Apr 30, 2023, 01:57

Ran @drop_d_drummer@types.pl

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

**Tulip** @hazel@types.pl · Apr 30, 2023, 22:23

**Tulip** @hazel@types.pl · Apr 30, 2023, 22:23

Tulip @hazel@types.pl

**Skylar ilo waso sona** @stellarskylark@solarpunk.moe · Apr 30, 2023, 16:05

**Skylar ilo waso sona** @stellarskylark@solarpunk.moe · Apr 30, 2023, 16:05

Skylar ilo waso sona @stellarskylark@solarpunk.moe

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