Translations:Extension:SyntaxHighlight/1300/ru

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