Translations:Extension:SyntaxHighlight/1352/ru

Idris (включая Literate Idris)