[anon291]

Type theory is a... type of mathematics lol

[auggierose]

I'll admit, that's a good one.