agda-emacs Agda & emacs intrgrations and samples Build Agda + Emacs docker image make build will build docker image Run Agda and Emacs make run will run docker image with working dir /agda. You can run Emacs with integrated Agda. License MIT `