没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
agda-machines：Agda中的可组合状态机
agda-machines：Agda中的可组合状态机
共4个文件
md：2个
agda：1个
gitignore：1个
Agda
需积分: 9
0 下载量
124 浏览量
2021-02-26
01:41:05
上传
评论
收藏
2KB
ZIP
举报
温馨提示
立即下载
Agda中的可组合状态机
资源推荐
资源详情
资源评论
agda-stdlib：Agda标准库
浏览：119
agda-stdlib：Agda标准库
agda-pkg：apkg-Agda的软件包管理器
浏览：136
Agda-pkg是用于管理库的简单工具，它具有其他功能，例如安装来自不同来源的库。 该工具完全不修改Agda ，它只是系统地管理.agda目录， .agda包含.agda/defaults和.agda/libraries文件，这些文件由Agda用于查找可用...
agda-kernel：Jupyter的实验性Agda内核
浏览：85
repo2docker https://github.com/lclem/agda-kernel 安装 pip install agda_kernel python -m agda_kernel.install 语法高亮 语法高亮是由单独完成的，但是不幸的是，它没有打包Agda模式。 可以在codemirror-agda/...
agda-pkg:一个在 Agda 中模拟包的简单工具
浏览：126
agda-pkg 一个在 Agda 中模拟包的简单工具
agda-fft:在Agda中验证的FFT
浏览：94
致力于在Agda中验证FFT。 主要参考资料：Venanzio Carette于2001年。
Atom-agda-mode,阿加达.zip
浏览：188
Atom-agda-mode.zip,agda-mode on Atom原子上的agda模,atom是一个用web技术构建的开源文本编辑器。
agda-holes:带Kong的Agda编程
浏览：69
Holes是一个Agda库，使用反射使编写等式推理证明更加容易。 它可以变成这样的证明： *-distrib-+₁ : ∀ a b c → a * (b + c) ≡ a * b + a * c *-distrib-+₁ zero b c = refl *-distrib-+₁ (suc a) b c = b ...
agda-playground:试用依赖类型
浏览：83
阿格达游乐场试用依赖类型
agda-mode-vscode:VS Code上的agda模式
浏览：37
确保已正确安装 （要在终端中进行检查，请键入agda并查看其是否在您的计算机上）。 打开一个Agda文件，您应该可以通过键入Cc Cl来加载它。 阿格达语言服务器 仍处于开发阶段，但是如果您想尝试一下，请按照。 如果...
spacemacs-agda:spacemacs 的一个小 agda 层
浏览：182
它使用agda-mode可执行文件自动加载 Agda-mode。 确保它在您的$PATH 。 在 OSX 上，您必须通过添加到dotspacemacs/init函数来执行此操作，因为 OS X 的 emacs 会忽略您的$PATH 。 (defun dotspacemacs/init () (add...
HoTT-UF-Agda-Lecture-Notes:关于使用Agda的数学的单价基础的讲义
浏览：181
生成讲义的资源可在以下位置获得 需要Agda 。 请查阅以帮助您为Midlands研究生院设置Agda和Emacs。 （literate） *.lagda文件用于使用脚本./build生成html页面。 本作也产生./agda/*.agda使用文件illiterator.hs 。...
agda模式：Atom上的agda模式
浏览：160
与Emacs不同， Atom的agda-mode并没有捆绑语法高亮显示，也没有在加载时动态高亮显示代码（尚未）。 突出显示代码： 安装language-agda ： 从编辑器中： Atom > Preferences... > Install ，搜索language-agda并...
language-agda：Atom编辑器的Agda语言支持
浏览：143
language-agda：Atom编辑器的Agda语言支持
red-black-trees-agda:Agda 中红黑树的形式化
浏览：143
Agda 的红黑树。 Agda 中红黑树的形式化，遵循 Dan Licata 在 OPLSS 2013 上给出的解决方案。
free-applicative-agda:agda 中的免费应用程序
浏览：125
Agda 中的免费应用程序 有关生成的文档，请参阅
nvim-agda:用于Neovim的Agda交互插件
浏览：187
agda.git --depth=1 ~ /.local/share/nvim/site/pack/git-plugins/start/nvim-agda细节带有内置的支持，可大大简化复杂插件的开发。 这个插件几乎完全是用Lua编写的，它可以处理异步交互和编辑器状态操作。设计原则...
inference-in-agda:关于 Agda 如何推断事物的教程
浏览：89
Agda 中的推理这是一个关于 Agda 如何推断事物的教程。如何阅读阅读教程有两种方式： 以阅读呈现的 HTML。 简单而充分，如果你只想阅读而不是玩代码或贡献如果您确实想使用代码，请安装 Agda，克隆 repo，打开...
equational-reasoning-in-haskell:Haskell中的Agda型方程式推理
浏览：65
通过数据种类在Haskell中进行Agda式方程推理 这是什么？ 该库提供了在Haskell中证明方程式的方法。 您可以使用Agda的EqReasoning样式来证明方程式。 参见打击示例： plusZeroL :: SNat m -> Zero :+: m :=: m ...
初级java笔试题-awesome-stars:我已加星的所有Github项目
浏览：126
《编程语言基础：Agda 描述》，Agda 中的编程语言基础 中文版 集会 - 每种计算机语言中的 Hello world。 感谢为此做出贡献的每个人，请务必查看 CONTRIBUTING.md 以获取贡献说明！ 批处理文件 - 为人类编写的 Python...
Qt 5实现串口调试助手 （源工程文件、0积分下载）
浏览：41
5星 · 资源好评率100%
基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记（全600页）.pdf
浏览：70
5星 · 资源好评率100%
SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览：153
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览：196
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
GD32替换STM32注意事项.pdf
浏览：93
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
NPPJSONViewer.zip
浏览：129
4星 · 用户满意度95%
NodePad++ JSON格式化插件
XCP协议的规范文档
浏览：17
5星 · 资源好评率100%
XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi
浏览：193
3星 · 编辑精心推荐
vs2015.iso包安装，不然会卡在安装包丢失或损坏
CANoe通过CAPL脚本实现自动测试
浏览：102
现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。
蓝牙BLE协议中文版.pdf
浏览：63
蓝牙BLE协议中文版，帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版，所有协议内容均与英文原版协议内容保持一致
收起资源包目录
agda-machines-main.zip
（4个子文件）
agda-machines-main
Machine.agda
1KB
To do.md
292B
.gitignore
8B
readme.md
34B
共 4 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
李彼岸
粉丝: 29
资源:
4691
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
MTATLAB-一元线性回归分析
大数据实验1.zip
数字图像处理-图像复原(频域)-MATLAB-实例程序
第8章重要知识点，以后工作可能需要用到
Python-标准库.xmind(思维导图）
aadsfsdafdsafds
MyBatis个人笔记
基于西门子S7-1500的滑台控制程序以及HMI仿真
测试标题我不想超过十一
充电桩国标充电协议CAN
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
