glottologist/idris

•Updated almost 7 years ago

Image

229

glottologist/idris repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

Size

607.5 MB

Last updated

almost 7 years ago

docker pull glottologist/idris