Sign inSign up

paasim/agda

By paasim

•Updated almost 7 years ago

A Debian image with agda and agda-stdlib

Image
0

355

Tags for paasim/agda

Sort by

TAG

latest

Last pushed almost 7 years by paasim

docker pull paasim/agda:latest
DigestOS/ARCHCompressed size

a083df6780a0

linux/amd64

666.51 MB