Este sitio web requiere JavaScript.
Explorar
Ayuda
Iniciar sesión
rhi
/
agda-prelude
Seguir
1
Destacar
0
Fork
Ya ha forkeado agda-prelude
0
Código
Incidencias
Pull Requests
Lanzamientos
Wiki
Actividad
not that one, another one. just some reexports from the stdlib
1
Commit
1
Rama
0
Etiquetas
93
KiB
Agda
100%
main
Ir al archivo
HTTPS
Descargar ZIP
Descargar TAR.GZ
Descargar BUNDLE
Clonar en VS Code
Citar este repositorio
APA
BibTeX
Cancelar
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