Sign inSign up

coocoocacha/idris

By coocoocacha

•Updated about 10 years ago

Working Idris v0.9.20.1 image.

Image
0

311

Tags for coocoocacha/idris

Sort by

TAG

latest

Last pushed about 10 years by coocoocacha

docker pull coocoocacha/idris:latest
DigestOS/ARCHCompressed size

b70b349f2d16

linux/amd64

400.23 MB