4 ms·Lots of good discussion on ##hott and #agda...by jonsterling 13y agoLots of good discussion on ##hott and #agda...