Article URL: https://ncatlab.org/nlab/show/unintentional+type+theory
Comments URL: https://news.ycombinator.com/item?id=50033971
Points: 1
# Comments: 0
Article URL: https://ncatlab.org/nlab/show/unintentional+type+theory
Comments URL: https://news.ycombinator.com/item?id=50033971
Points: 1
# Comments: 0