Search Docker Hub
Community User
Displaying 1 to 2 of 2 repositories
Docker image for Agda
8y
695
1
Agda with Emacs and exercises for the Agda from Nothing workshop
10y
425