Базовая теория типов
Границы ключ не переломлен пополам
Всё идёт несколько не по плану, к концу 2015 метатеория теории типов создана не будет, в армии намного меньше времени и желания заниматься чем-то высокоинтеллектуальным, чем ожидалось. Этот пост временный…