glot/idris

•Updated about 2 years ago

Image

1.3K

Tags for glot/idris

Sort by

TAG

latest

Last pushed about 2 years by glot

docker pull glot/idris:latest

Digest	OS/ARCH	Compressed size
764f436ba74d	linux/amd64	61.49 MB