Hackernews
new
show
ask
jobs
Unintentional Type Theory
2 points
posted 9 hours ago
by danny00
(ncatlab.org)
No comments yet