Dependent Types: Universes, or types of types

(jonmsterling.com)

33 points | by matt_d 2 days ago ago

No comments yet.