Atom-language-agda,对atom编辑器的agda语言支持。为banacorn/语言做出贡献.zip

时间:2022-10-08 13:39:54
【文件属性】:

文件名称: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)

网友评论