文件名称:Atom-language-agda,对atom编辑器的agda语言支持。为banacorn/语言做出贡献.zip
文件大小:7KB
文件格式:ZIP
更新时间:2022-10-08 13:39:54
Atom
Atom-language-agda.zip,atom编辑器的agda语言支持语言AGDA,atom是一个用web技术构建的开源文本编辑器。
【文件预览】:
language-agda-master
----.gitignore(55B)
----settings()
--------agda.cson(109B)
----README.md(846B)
----CHANGELOG.md(505B)
----grammars()
--------lagda.cson(1KB)
--------tree-sitter-agda.cson(5KB)
--------agda.cson(5KB)
----package.json(416B)
----LICENSE.md(1KB)
----snippets()
--------language-agda.cson(2KB)