Translations:Extension:SyntaxHighlight/1352/en


 * Idris (incl. Literate Idris)