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)
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)
