Idris docker image Docker image for Idris built from Haskell image with Stack. Docker images for different Idris versions are available here.