[mmiliauskas]

All this FP revolt kind of start to remind me Whitehead's and Russell's attempt to invent a formal system which would be paradox free...

[eli_gottlieb]

Martin-Lof Type Theory doesn't actually have any paradoxes in it.

[tel]

Well, it does—Girard found one. It also has lots of troubles with equality.