search

banacorn / agda-mode

agda-mode on Atom
https://atom.io/packages/agda-mode
MIT License
58 stars 14 forks source link

Get GitHub Actions working #111

Closed banacorn closed 5 years ago