注册
登录
精益
coqc-expand-errors
返回
项目作者：
antalsz
项目描述 ：
Run `coqc` and print out colorized Coq error location information
高级语言：
Haskell
项目主页：
项目地址:
git://github.com/antalsz/coqc-expand-errors.git
创建时间：
2018-10-23T07:25:47Z
项目社区：
https://github.com/antalsz/coqc-expand-errors
开源协议：
Other
下载
