Search Docker Hub
agda
By scottfleischman
Docker image for Agda
695
https://github.com/scott-fleischman/docker-agda
Content type
Image
Digest
Size
323.8 MB
Last updated
almost 8 years ago
docker pull scottfleischman/agda:2.5.4.2