search

banacorn / language-agda

Agda language support for the Atom editor
https://atom.io/packages/language-agda
MIT License
13 stars 5 forks source link

Is not working in the last version of Atom 1.7.2? #3

Closed jonaprieto closed 7 years ago

banacorn commented 8 years ago

Looks okay on mine? (I'm sorry if the highlighting is so lacking that is seems to be broken 😂)

screenshot

banacorn commented 7 years ago

closing this