UNPKG

linguist-languages

Version:
13 lines (12 loc) 206 B
declare const _: { "name": "Agda", "type": "programming", "color": "#315665", "extensions": [ ".agda" ], "tmScope": "source.agda", "aceMode": "text", "languageId": 12 } export default _