ikan：在idris中为idris构建工具和程序包管理器，并带有免费monads
需积分: 5 141 浏览量
2021-02-03
04:01:36
上传
评论
收藏 14KB ZIP 举报
ikan-master.zip （14个子文件） 
ikan-master 
.travis.yml
75B ikan.ipkg 265B test.sh 25B LICENSE 11KB install.sh 24B src Main.idr 3KB Package IkanAssets.idr 386B IkanExecute.idr 495B IpkgAstAndParser.idr 9KB IpkgAst.idr 2KB IkanAst.idr 501B build.idr 232B .gitignore 121B README.md 4KB资源评论
thonxie
- 粉丝: 23
- 资源: 4532
