Translations:Extension:SyntaxHighlight/1300/ja

Agda (literate を含む)