Hacker Next
Dependent Types: Universes, or types of typesjonmsterling.com
40 points by matt_d 3 days ago | 2 comments