This website requires JavaScript.
探索
說明
登入
rhi
/
agda-prelude
關註
1
收藏
0
複製
You've already forked agda-prelude
0
程式碼
問題管理
合併請求
版本發佈
Wiki
Activity
not that one, another one. just some reexports from the stdlib
1
Commit
1
分支
0
Tag
93
KiB
Agda
100%
main
Go to file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Clone in VS Code
Cite this repository
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