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

Adapated https://github.com/banacorn/agda-mode-st3/blob/master/Syntax… #2

Closed TheoWinterhalter closed 9 years ago

TheoWinterhalter commented 9 years ago

…/Agda.tmLanguage

Adapted https://github.com/banacorn/agda-mode-st3/blob/master/Syntax/Agda.tmLanguage of @banacorn for a more complete color scheme.

banacorn commented 9 years ago

oopsy, sorry I didn't noticed this PR, but now we have new color scheme anyway (• ◡ •)/ Thanks!