История изменений
Исправление kookoo, (текущая версия) :
Причем здесь это?
https://en.wikipedia.org/wiki/Idris_(programming_language)
Idris is named after a singing dragon from the 1970s UK children’s television program Ivor the Engine.
Исходная версия kookoo, :
Причем здесь это?
https://en.wikipedia.org/wiki/Idris_(programming_language)
Idris is named after a singing dragon from the 1970s UK children’s television program Ivor the Engine.