Sign inSign up

qualified/agda

By qualified

•Updated 4 days ago

Image
0

1.8K

qualified/agda repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

sha256:4671f6064…

Size

241.7 MB

Last updated

4 days ago

docker pull qualified/agda:2.6.2.2