glot/idris

•Updated about 2 years ago

Image

1.3K

glot/idris repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:764f436ba…

Size

61.5 MB

Last updated

about 2 years ago

docker pull glot/idris