/idris-2-docker

Multi-arch, multi-distro Docker images for Idris 2

Primary LanguageDockerfileMIT LicenseMIT

Stargazers