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

Fix single-line comment highlights #4

Closed robrene closed 7 years ago

banacorn commented 7 years ago

Thanks! The new version is on the way!