N
Hacker Next
new
show
ask
jobs
submit
login
Dependent Types: Universes, or types of types
jonmsterling.com
40 points by
matt_d
3 days ago
|
2 comments
add comment