You've already forked Epicnabbo-Catalogus-Updated-Daily
Remco
13 lines
195 B
JSON
13 lines
195 B
JSON
{
|
|
"name": "Literate Agda",
|
|
"type": "programming",
|
|
"color": "#315665",
|
|
"group": "Agda",
|
|
"extensions": [
|
|
".lagda"
|
|
],
|
|
"tmScope": "none",
|
|
"aceMode": "text",
|
|
"languageId": 205
|
|
}
|