没有合适的资源?快使用搜索试试~ 我知道了~
nonempty-zipper:非空的社区列表拉链
共12个文件
yaml:3个
md:2个
hs:2个
需积分: 9 0 下载量 106 浏览量
2021-03-18
22:56:30
上传
评论
收藏 9KB ZIP 举报
温馨提示
非空拉链 非空的社区列表拉链 为什么不使用另一个拉链实现? 显示了各种拉链实现。 与nonempty-zipper具有最相似功能集的两个是和 。 具有可靠的镜头界面和大量实例,但是缺少文档和NFData实例。 最类似于此包装,但似乎没有得到维护(例如, base已漂移)。
资源推荐
资源详情
资源评论
收起资源包目录
nonempty-zipper-main.zip (12个子文件)
nonempty-zipper-main
brittany.yaml 2KB
package.yaml 598B
.github
workflows
ci.yml 566B
stack.yaml 235B
library
Data
List
NonEmpty
Zipper.hs 7KB
doctest
Main.hs 165B
LICENSE 1KB
.gitignore 12B
CHANGELOG.md 293B
stack.yaml.lock 884B
README.md 791B
nonempty-zipper.cabal 1KB
共 12 条
- 1
资源评论
靳骁曈
- 粉丝: 25
- 资源: 4680
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 第四章:栈与队列(一)
- 施工人员检查19-YOLO(v5至v9)、CreateML、Darknet、Paligemma、TFRecord、VOC数据集合集.rar
- dlib-19.17.0-cp37-win-amd64.whl
- 基于统一模态架构的开源语言智能体训练框架Agent Lumos
- Java项目-基于 Java+MySql+Swing图书管管理系统(视频+源码).zip
- Java项目-基于 Java+MySql+Swing汽车租赁管理系统(详细档+视频+源码).zip
- 施工人员吊车推出车检测28-YOLO(v5至v9)、COCO、Darknet、VOC数据集合集.rar
- ART框架自动多步推理与工具利用提升大型语言模型能力
- 大规模API调用的自反思层级代理模型AnyTool研究与应用
- Agent-as-a-Judge: 使用智能体评估代码生成任务的有效性
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功