本網站需要 JavaScript。
探索
說明
登入
rhi
/
agda-prelude
關注
1
加上星號
0
Fork
您已經 fork 過 agda-prelude
0
程式碼
問題
合併請求
版本發布
Wiki
動態
not that one, another one. just some reexports from the stdlib
1
提交
1
分支
0
標籤
93
KiB
Agda
100%
main
移至檔案
HTTPS
下載 ZIP
下載 TAR.GZ
下載 BUNDLE
在 VS Code 中 Clone
引用此儲存庫
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