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

Add `rewrite` as keyword #17

Closed buggymcbugfix closed 5 years ago