История изменений
Исправление buddhist, (текущая версия) :
Нет, это на самом деле круто и интересно, но я запасаюсь попкорном и жду следующего кризиса оснований :)
Но пока все круто, HoTT — действительно значительный в сторону улучшения теории типов
Исходная версия buddhist, :
Нет, это на самом деле круто и интересно, но я запасаюсь попкорном и жду следующего кризиса оснований :)