Y
Hacker News
new | ask | show | jobs
Dependent Types: Universes, or types of types
36 points by matt_d 2 days ago | 0 comments