Исправление buddhist, (текущая версия) :
Зависимые типчики, higher-order конструкции, диета для ядра (для соответствия критерию де Брюйна). На самом деле, нужно просто все с нуля написать :)
Исходная версия buddhist, :
Зависимые типчики, higher-order конструкции, диета для ядра. На самом деле, нужно просто все с нуля написать :)