HN
New
Show
Ask
Jobs
Built with Next
Dependent Types: Universes, or types of types
(jonmsterling.com)
33 points | by
matt_d
2 days ago ago
No comments yet.
No comments yet.