agda stdlib:Agda标准库源码

Name: agda stdlib:Agda标准库 源码
Rating: 4.5 (24 reviews)
Author: admiration_74062

上传者：admiration_74062 2021-02-21 09:53:29上传 ZIP文件 1.33MB 热度 24次

agda-stdlib:Agda标准库

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

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
language agda Atom编辑器的Agda语言支持源码

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

大小：9KB | 2021-02-01 18:35:57
agda playground试用依赖类型源码

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

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

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

大小：378KB | 2021-03-20 10:27:55
stdlib Kotlin标准库源码

stdlib:Kotlin标准库

大小：10KB | 2021-05-02 00:12:31
Atom language agda对atom编辑器的agda语言支持为banacorn语言做出贡献.zip

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

大小：7KB | 2020-07-18 07:25:59
dt programming in agda Ulf Norell和James Chapman的“Agda中的依赖类型编...

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

大小：15.45KB | 2024-10-06 08:29:18
Atom agda mode阿加达.zip

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

大小：557KB | 2020-08-09 03:52:45
Factorio Stdlib Factorio标准库项目源码

因子库因子工厂标准库项目关于 Factorio标准库是一个项目,旨在为开发人员经常复制,重新混合...

大小：1.22MB | 2021-02-09 00:46:23
Agda中的免费应用程序探索

免费应用程序理论与Agda在编程语言理论中，免费应用程序（Free Applicative Func...

大小：7.62KB | 2024-10-27 18:58:51
C stdlib C标准库

本文包括大部分C标准库函数,但没有列出一些用途有限的函数以及某些可以简单的从其他函数合成的函数,也没...

大小：287KB | 2020-10-16 16:55:26
标准库stdlib.pdf

stdlibc/c++标准库函数介绍pdf格式方便阅读。

大小：0B | 2019-07-09 06:14:08
AgdaCheatSheet依赖类型的功能语言Agda_ 的基础源码

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

大小：726KB | 2021-04-18 19:56:25

agda stdlib:Agda标准库 源码

agda stdlib:Agda标准库源码