Closed abailly closed 6 years ago
A basic idea would be to use docker containers with different idris versions and different emacs versions to provide faster builds and more coverage. https://hub.docker.com/r/dgellow/idris/ looks promising for the idris image.
A basic idea would be to use docker containers with different idris versions and different emacs versions to provide faster builds and more coverage. https://hub.docker.com/r/dgellow/idris/ looks promising for the idris image.