the HoTT book cites Angiuli's incredible work on the (∞,1)-accidentopos model of unintentional type theory
github.com/HoTT/book/blob
Conversation
it's full of Easter eggs and I am here for it
1
2
the cited work: cs.cmu.edu/~cangiuli/sigb
1
1
5
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
