Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
loading thread…
3 ms
·
Type theory, maybe; set theory, no.
by
Koshkin
4y ago
Type theory, maybe; set theory, no.