Article URL: https://ncatlab.org/nlab/show/unintentional+type+theory

Comments URL: https://news.ycombinator.com/item?id=50033971

Points: 1

# Comments: 0