1 Star 0 Fork 0

dwz/coq-haskell

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
文件
克隆/下载
.gitignore 92 Bytes
一键复制 编辑 原始数据 按行查看 历史
John Wiegley 提交于 2017-12-15 08:48 . Add generated file to ignore file
.*.aux
.coq-native/
*.d
*.vo
*.glob
/Makefile.coq
/extract
/Makefile.bak
/Makefile.coq.conf
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化
1
https://gitee.com/ajnew/coq-haskell.git
git@gitee.com:ajnew/coq-haskell.git
ajnew
coq-haskell
coq-haskell
master

搜索帮助

0d507c66 1850385 C8b1a773 1850385