Dependent Types: Universes, or types of types(jonmsterling.com)28 points by matt_d 1 year ago | 0 comments