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