Ce site Web nécessite JavaScript.
Explorateur
Aide
Connexion
rhi
/
agda-prelude
Suivre
1
Ajouter aux favoris
0
Bifurcation
Vous avez déjà forké agda-prelude
0
Code
Tickets
Demandes d'ajout
Publications
Wiki
Activité
not that one, another one. just some reexports from the stdlib
1
Révision
1
Branche
0
Étiquette
93
KiB
Agda
100%
main
Aller au fichier
HTTPS
Télécharger le ZIP
Télécharger le TAR.GZ
Télécharger le BUNDLE
Cloner dans VS Code
Citer ce dépôt
APA
BibTeX
Annuler
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