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

Create doc/README.md #29

Closed pnlph closed 4 years ago

pnlph commented 4 years ago

Documentation for language-agda repo.

Please check if the descriptions are OK and edit if needed.