not that one, another one. just some reexports from the stdlib
Přejít na soubor
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