GitHub repository: mmhelloworld/docker-idris
Primary language: Dockerfile
Created: 2017-06-24T03:35:32Z
Description: Docker image for Idris