Type-Driven Development with Idris
5星 · 超过95%的资源 需积分: 9 4 浏览量
2017-04-24
08:39:34
上传
评论
收藏 10.53MB PDF 举报 
资源评论
juyan2552017-09-27正想看看idris这个语言的详细介绍，非常感谢！
libingchen
- 粉丝: 29
- 资源: 264
