Problem with $ dollar sign

banacorn / language-agda

Agda language support for the Atom editor

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

MIT License

13 stars 5 forks source link

Problem with $ dollar sign #11

Closed jonaprieto closed 6 years ago

jonaprieto commented 6 years ago

A pic for this:

banacorn commented 6 years ago

I will tag this as "won't fix". And I'm considering closing this issue after literate Agda is available with the new tree-sitter parser for syntax highlighting

jonaprieto commented 6 years ago

Oh, yes. Good.