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

Update README.md #27

Closed ggreif closed 4 years ago

ggreif commented 4 years ago

just a typo

banacorn commented 4 years ago

Thanks XD