Failed to load a language-agda package grammar - Githubissues

banacorn / language-agda

Agda language support for the Atom editor

https://atom.io/packages/language-agda

MIT License

13 stars 5 forks source link

Failed to load a language-agda package grammar #19

Closed banacorn closed 5 years ago

banacorn commented 5 years ago

Todo: compile and distribute new builds