Dependent Types: Universes, or types of types

(jonmsterling.com)

36 points | by matt_d 2 days ago