agda playground:试用依赖类型源码

Name: agda playground:试用依赖类型 源码
Rating: 4.5 (41 reviews)
Author: qqdisabled18838

上传者：qqdisabled18838 2021-04-22 18:49:40上传 ZIP文件 5.85KB 热度 41次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

agda playground试用依赖类型源码

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

大小：6KB | 2021-04-22 18:49:40
AgdaCheatSheet依赖类型的功能语言Agda_ 的基础源码

AgdaCheatSheet:依赖类型的功能语言Agda ^ _ ^的基础

大小：726KB | 2021-04-18 19:56:25
dt programming in agda Ulf Norell和James Chapman的“Agda中的依赖类型编...

《Agda中的依赖类型编程》是由Ulf Norell和James Chapman共同编写的关于依赖类...

大小：15.45KB | 2024-10-06 08:29:18
agda stdlib Agda标准库源码

agda-stdlib:Agda标准库

大小：1.33MB | 2021-02-21 09:53:29
agda模式Atom上的agda模式源码

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

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

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

大小：41KB | 2021-02-17 05:24:30
agda kernel Jupyter的实验性Agda内核源码

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

大小：10.98MB | 2021-02-05 20:51:03
试用balance_scale试用数据类型源码

试用::balance_scale:试用数据类型

大小：37KB | 2021-02-17 13:16:06
graphics_playground试用不同的图形算法源码

图形游乐场在这个项目中,我正在尝试不同的图形算法和可视化效果。每个场景都有一个小面板,面板上的设置...

大小：27.52MB | 2021-04-04 06:39:29
language agda Atom编辑器的Agda语言支持源码

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

大小：9KB | 2021-02-01 18:35:57
Playground源码

短叶植物关于 Brevifolia是极简主义的博客入门工具,可帮助您将与。在查看演示该博客由N...

大小：13.14MB | 2021-04-04 05:21:15
Coroutine playground源码

Kotlin-协程|流|频道-游乐场 :scroll:描述在Kotlin中试验异步模式的样本 :e...

大小：348KB | 2021-04-27 16:53:49
ML Playground源码

ML游乐场使用Unity 2020.3.3f1 训练使用此作为示例: D:\ Unity \ ML...

大小：38KB | 2021-04-29 05:35:58
keycloak playground源码

keycloak-playground

大小：1.87MB | 2021-04-17 22:15:27
agdapad Agda作为协作多人游戏源码

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

大小：378KB | 2021-03-20 10:27:55
django playground源码

欢迎USER_NAME, 这是Gitpod的代码学院学生模板。我们已经预装了您入门所需的所有工具。...

大小：20.01MB | 2021-05-02 23:30:50

agda playground:试用依赖类型 源码

agda playground:试用依赖类型源码