add link to dockers-agda to README
Closed this issue · 0 comments
cyrus- commented
One of the artifact reviewers wanted it to be clearer that you can use old versions of agda packaged into Docker: https://github.com/banacorn/docker-agda.
Closed this issue · 0 comments
One of the artifact reviewers wanted it to be clearer that you can use old versions of agda packaged into Docker: https://github.com/banacorn/docker-agda.