Sign inSign up

qualified/agda

By qualified

•Updated over 4 years ago

Image
0

1.7K

qualified/agda repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

Size

186.5 MB

Last updated

over 4 years ago

docker pull qualified/agda:2.6.2.2