search

banacorn / agda-mode

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

Agda path and command line arguments #124

Closed banacorn closed 4 years ago

banacorn commented 4 years ago

See https://github.com/banacorn/docker-agda/issues/1