Hacker News new | ask | show | jobs
by wz1000 4068 days ago
Ahem, http://en.wikipedia.org/wiki/Dependent_type