linguist-languages/data/Literate Agda.d.mts

Linguist languages.yml in JSON format

declare const _: {
  "name": "Literate Agda",
  "type": "programming",
  "color": "#315665",
  "group": "Agda",
  "extensions": [
    ".lagda"
  ],
  "tmScope": "none",
  "aceMode": "text",
  "languageId": 205
}
export default _