rhi/agda-prelude
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
not that one, another one. just some reexports from the stdlib
1 commit 1 branch 0 tags 25 KiB
Agda 100%
Find a file
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