Tato stránka vyžaduje JavaScript.
Procházet
Nápověda
Přihlásit se
rhi
/
agda-prelude
Sledovat
1
Oblíbit
0
Rozštěpit
Již jsi rozštěpil agda-prelude
0
Zdrojový kód
Úkoly
Požadavky na natažení
Vydání
Wiki
Aktivita
not that one, another one. just some reexports from the stdlib
1
Commit
1
Větev
0
Značky
93
KiB
Agda
100%
main
Přejít na soubor
HTTPS
Stáhnout ZIP
Stáhnout TAR.GZ
Stáhnout BUNDLE
Klonovat ve VS Code
Citovat tento repozitář
APA
BibTeX
Zrušit
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