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

Name: AgdaCheatSheet:依赖类型的功能语言Agda ^ _ ^的基础 源码
Rating: 4.5 (32 reviews)
Author: qqtract19534

上传者：qqtract19534 2021-04-18 19:56:25上传 ZIP文件 725.57KB 热度 32次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

AgdaCheatSheet依赖类型的功能语言Agda_ 的基础源码

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

大小：726KB | 2021-04-18 19:56:25
agda playground试用依赖类型源码

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

大小：6KB | 2021-04-22 18:49:40
dt programming in agda Ulf Norell和James Chapman的“Agda中的依赖类型编...

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

大小：15.45KB | 2024-10-06 08:29:18
agda模式Atom上的agda模式源码

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

大小：565KB | 2021-02-01 22:34:22
language agda Atom编辑器的Agda语言支持源码

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

大小：9KB | 2021-02-01 18:35:57
Idris dev一种依赖类型的功能编程语言源码

伊德里斯 Idris( )是一种具有依赖类型的通用功能编程语言。安装指南。该存储库代表该语言的最...

大小：2.81MB | 2021-04-18 19:39:51
pika WIP很少依赖类型的系统语言源码

皮卡皮卡(Pika)是一种小型的依存类型ML,具有代数效应和非盒装类型。这是编译器的重写版本,新...

大小：114KB | 2021-04-24 18:16:52
agda kernel Jupyter的实验性Agda内核源码

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

大小：10.98MB | 2021-02-05 20:51:03
agda stdlib Agda标准库源码

agda-stdlib:Agda标准库

大小：1.33MB | 2021-02-21 09:53:29
agda pkg apkg Agda的软件包管理器源码

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

大小：41KB | 2021-02-17 05:24:30
Atom language agda对atom编辑器的agda语言支持为banacorn语言做出贡献.zip

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

大小：7KB | 2020-07-18 07:25:59
silt一种在Swift中实现的快速进行的依赖类型的功能编程语言源码

silt:一种在Swift中实现的快速进行的,依赖类型的功能编程语言

大小：346KB | 2021-02-08 00:38:22
dicy LaTeXknitr识字的Agda识字的Haskell和Pweave的构建器可自动构建依赖关系源码

迪西该存储库包含与DiCy相关的各种软件包,DiCy是基于LaTeX,knitr,Literate...

大小：308KB | 2021-04-21 08:30:24
黄帝内经隐喻语言的类型与功能

《黄帝内经》隐喻语言的类型与功能，谢菁，，目的：初步探讨中医经典古籍《黄帝内经》中隐喻语言的类型及功...

大小：213KB | 2020-07-25 09:03:23
两种依赖注入的类型

两种依赖注入的类型分别是setter注入和构造方法注入。详细见代码..

大小：13KB | 2020-12-09 07:31:59
tao一种静态类型的功能编程语言源码

陶 Tao是一种静态类型的功能编程语言。例请参阅目录以获取示例程序的选择。产品特点功能纯正 ...

大小：252KB | 2021-02-01 22:53:23

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

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