项目描述 ：
Idris language docker image builder

高级语言： Makefile

项目主页：

项目地址: git://github.com/mrLSD/idris-docker.git

创建时间： 2017-11-22T19:22:48Z
项目社区：https://github.com/mrLSD/idris-docker
开源协议：MIT License
下载