GitHub repository: mattpolzin/idris-docker
Created: 2021-07-22T05:59:32Z
Description: A few versioned Idris 2 Docker images.