История изменений
Исправление user_id_68054, (текущая версия) :
не совсем в двух предложениях — но всё-таки «объяснение понятия зависимых типов для мальчиков-дебилов» думаю тоже подойдёт :-) .. спасибо!
Исходная версия user_id_68054, :
не совсем в друх предложениях — но всё-таки «объяснение понятия зависимых типов для мальчиков-дебилов» думаю тоже подойдёт :-) .. спасибо!