Diese Website benötigt JavaScript.
Erkunden
Hilfe
Anmelden
rhi
/
agda-prelude
Beobachten
1
Favorisieren
0
Fork
Du hast bereits einen Fork von agda-prelude erstellt
0
Code
Issues
Pull-Requests
Releases
Wiki
Aktivität
not that one, another one. just some reexports from the stdlib
1
Commit
1
Branch
0
Tags
93
KiB
Agda
100%
main
Datei suchen
HTTPS
ZIP herunterladen
TAR.GZ herunterladen
BUNDLE herunterladen
In VS Code klonen
Dieses Repository zitieren
APA
BibTeX
Abbrechen
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