История изменений
Исправление r--r--r--, (текущая версия) :
На самом деле подобное встречается в рассказах про продвинутые функциональные языки.
Я и ожидал услышать про agda. Вот только даже в этих рассказах нет тезиса, что скомпилировалось == работает без ошибок.
Исходная версия r--r--r--, :
На самом деле подобное встречается в рассказах про продвинутые функциональные языки.
Я и ожидал услышать про agda. Вот только даже в этих рассказах, нет тезиса, что скомпилировалось == работает без ошибок.