Hacker News new | ask | show | jobs
by alreadydone 789 days ago
I think TTT stands for "tangled type theory".
2 comments
randallholmes 789 days ago
It does, but I rather like "twisted type theory" :-)
link
nicklecompte 789 days ago
Oops! Good catch. I'm not an expert - I read "tangled type theory" once and "TTT" about 75 times....
link