Problem with nested {- -} comments

banacorn / language-agda

Agda language support for the Atom editor

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

MIT License

13 stars 5 forks source link

Closed scmu closed 6 years ago

scmu commented 7 years ago

language-agda does not handle nested comments correctly. See: language-adga version: 0.2.4.

screen shot 2017-07-17 at 9 19 29 am