toolkithub/idris

•Updated 8 months ago

Image

239

toolkithub/idris repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:e723e8f7f…

Size

42.4 MB

Last updated

8 months ago

docker pull toolkithub/idris