Hacker News new | ask | show | jobs
by randallholmes 789 days ago
It does, but I rather like "twisted type theory" :-)