|
|
|
|
|
|
by jeremyjh
19 days ago
|
|
|
I can’t swear I’ve never seen that claim - but I can’t remember seeing it if I ever did and certainly it would be a tiny minority position. The actual con arguments are basically “it is nice but has costs, maybe those don’t all get a good return”. It’s possible that position was correct before set-theoretic type theory was developed. |
|
|