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)

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
2.4.2.2		2.4.2.2
2.4.2.3		2.4.2.3
2.4.2.4		2.4.2.4
2.4.2.5		2.4.2.5
2.5.1.2		2.5.1.2
2.5.2		2.5.2
2.5.3		2.5.3
2.5.4.2		2.5.4.2
2.6.0.1		2.6.0.1
LICENSE		LICENSE
README.md		README.md