Translations:Extension:SyntaxHighlight/1300/uk

Agda (включно з literate)