How to run this with agda-mode for Atom
Set Agda path like
docker run -i --rm -v /Users/banacorn/:/Users/banacorn/ banacorn/agda agda
(replace /Users/banacorn/ with the path where you want to mount your files)
Agda on Docker
Set Agda path like
docker run -i --rm -v /Users/banacorn/:/Users/banacorn/ banacorn/agda agda
(replace /Users/banacorn/ with the path where you want to mount your files)
Agda on Docker
https://hub.docker.com/r/banacorn/agda/
MIT License
