Atom language agda对atom编辑器的agda语言支持。为banacorn/语言做出贡献.zip
Atom-language-agda.zip,atom编辑器的agda语言支持语言AGDA,atom是一个用web技术构建的开源文本编辑器。
下载地址
用户评论
