[auggierose]

> It's typically a view held by very experienced mathematicians.

It's typically a view held by very experienced type theorists.

There, fixed it for you.

[anon291]

Type theory is a... type of mathematics lol

[auggierose]

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