language agda:Atom编辑器的Agda语言支持源码

上传者：qq_29067 2021-02-01 18:35:57上传 ZIP文件 8.88KB 热度 9次

language-agda:Atom编辑器的Agda语言支持

下载地址

用户评论

更多下载

下载地址

立即下载

收藏腾讯微博

用户评论

language agda Atom编辑器的Agda语言支持源码

language-agda:Atom编辑器的Agda语言支持

大小：9KB | 2021-02-01 18:35:57
Atom language agda对atom编辑器的agda语言支持为banacorn语言做出贡献.zip

Atom-language-agda.zip,atom编辑器的agda语言支持语言AGDA,atom...

大小：7KB | 2020-07-18 07:25:59
agda模式Atom上的agda模式源码

Atom上的agda模式对于出于任何原因不想使用Emacs的人。随意打开问题!!!! 要求二进...

大小：565KB | 2021-02-01 22:34:22
agda stdlib Agda标准库源码

agda-stdlib:Agda标准库

大小：1.33MB | 2021-02-21 09:53:29
atom language julia Atom编辑器的Julia语言支持包源码

Julia·格拉玛(Julia Grammar) Julia对Atom,VSCode和GitHub的...

大小：33KB | 2021-02-01 22:59:29
agda pkg apkg Agda的软件包管理器源码

Agda-pkg是用于管理库的简单工具,它具有其他功能,例如安装来自不同来源的库。该工具完全不修改...

大小：41KB | 2021-02-17 05:24:30
Atom atom language juliaatom编辑器的julia语言支持包.zip

Atom-atom-language-julia.zip,atom编辑器的julia语言支持包原子的...

大小：18KB | 2020-07-20 20:07:23
agda kernel Jupyter的实验性Agda内核源码

阿格达内核 Jupyter的实验性Agda内核。在。例子您可以直接通过mybinder界面启...

大小：10.98MB | 2021-02-05 20:51:03
Atom agda mode阿加达.zip

Atom-agda-mode.zip,agda-mode on Atom原子上的agda模,atom...

大小：557KB | 2020-08-09 03:52:45
language carp支持Atom文本编辑器的鲤鱼语言源码

language-carp:支持Atom文本编辑器的鲤鱼语言

大小：10KB | 2021-02-01 22:46:25

language agda:Atom编辑器的Agda语言支持 源码

language agda:Atom编辑器的Agda语言支持源码