此网站需要 JavaScript。
探索
帮助
登录
rhi
/
agda-prelude
关注
1
点赞
0
派生
你已经派生过 agda-prelude
0
代码
工单
合并请求
版本发布
百科
动态
not that one, another one. just some reexports from the stdlib
1
提交
1
分支
0
Git标签
93
KiB
Agda
100%
main
转到文件
HTTPS
下载 ZIP
下载 TAR.GZ
下载 BUNDLE
在 VS Code 中克隆
引用此仓库
APA
BibTeX
取消
rhiannon morris
ed0a773c2f
First
2021-07-09 08:22:09 +02:00
.gitignore
First
2021-07-09 08:22:09 +02:00
Prelude.agda
First
2021-07-09 08:22:09 +02:00
prelude.agda-lib
First
2021-07-09 08:22:09 +02:00