toolkithub/idris

•Updated 10 months ago

Image

258

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

10 months ago

docker pull toolkithub/idris