Geeks
banacorn
/
docker-agda
Agda on Docker
Primary Language
Dockerfile
MIT License
MIT
docker-agda Home Page
docker-agda GitHub
Markdown
Readme
1
Issue
4
Stargazers
2
Watchers
Watchers
banacorn
Taipei, Taiwan
eemailme