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
2 commits 1 branch 0 tags 28 KiB
Find a file
Exact
rhiannon morris d4ad218f83 various updates
2025-04-14 20:20:43 +02:00
.gitignore First 2021-07-09 08:22:09 +02:00
Prelude.agda various updates 2025-04-14 20:20:43 +02:00
prelude.agda-lib First 2021-07-09 08:22:09 +02:00