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

Name: language agda:Atom编辑器的Agda语言支持 源码
Rating: 4.5 (36 reviews)
Author: qq_29067

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

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
language carp支持Atom文本编辑器的鲤鱼语言源码

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

大小：10KB | 2021-02-01 22:46:25
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
omnisharp atom Omnisharp对Atom编辑器的支持源码

omnisharp-atom包装 ###(可入侵的IDE) 运行时先决条件如果您使用的是OS ...

大小：877KB | 2021-04-26 03:03:47
agda playground试用依赖类型源码

阿格达游乐场试用依赖类型

大小：6KB | 2021-04-22 18:49:40
agdapad Agda作为协作多人游戏源码

阿格达帕德现场演示,为。特征图形模式(使用TigerVNC / NoVNC)和文本模式(使用...

大小：378KB | 2021-03-20 10:27:55
atom language gsql Atom中的GSQL语言支持源码

atom-language-gsql:Atom中的GSQL语言支持

大小：12KB | 2021-02-01 22:33:19
language bogl BoGL的Atom语言支持源码

language-bogl:BoGL的Atom语言支持

大小：254KB | 2021-04-04 19:26:24
language gleam Atom的Gleam语言支持源码

Atom中的Gleam语言支持 :dizzy: 在Atom软件包中可用: : 特征: :artist...

大小：132KB | 2021-02-23 18:59:17

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

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