Hackernews
new
show
ask
jobs
Unintentional Type Theory
1 points
posted a month ago
by measurablefunc
(ncatlab.org)
No comments yet