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