Hacker News new | ask | show | jobs
by eli_gottlieb 4290 days ago
Martin-Lof Type Theory doesn't actually have any paradoxes in it.
1 comments
tel 4290 days ago
Well, it does—Girard found one. It also has lots of troubles with equality.
link