banacorn/agda

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)