agda-playground:试用依赖类型
需积分: 5 15 浏览量
2021-04-21
06:30:22
上传
评论
收藏 6KB ZIP 举报
agda-playground-main.zip （6个子文件） 
agda-playground-main 
algebra.agda 3KB plfa induction.agda 10KB naturals.agda 2KB LICENSE 1KB .gitignore 19B README.md 45B资源评论
汪纪霞
- 粉丝: 35
- 资源: 4700
最新资源
- TG-2024-05-23-204718255.mp4
- 候志强@181 5428 8938_20240420112107.amr
- spispispispispi
- 实验二：IP协议分析.zip
- 驱动代码驱动代码驱动代码驱动代码
- SVID_20240523_141155_1.mp4
- Code for the complete guide to tkinter tutorial
- 关于百货中心供应链管理系统.zip
- SimpleFolderIcon-master 修改Unity的Project下的文件夹图标
- A python Tkinter widget to display tile based maps
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
