3 ms·Higher Order Type Theory. No idea beyond that.by mcguire 4y agoHigher Order Type Theory. No idea beyond that.