Este sítio Web requer JavaScript.
Explorar
Ajuda
Iniciar sessão
rhi
/
agda-prelude
Vigiar
1
Juntar aos favoritos
0
Derivar
Você já tinha feito uma derivação do repositório agda-prelude, anteriormente
0
Código
Questões
Pedidos de integração
Lançamentos
Wiki
Trabalho
not that one, another one. just some reexports from the stdlib
1
Cometimento
1
Ramo
0
Etiquetas
93
KiB
Agda
100%
main
Ir para o ficheiro
HTTPS
Descarregar ZIP
Descarregar TAR.GZ
Descarregar PACOTE
Clonar no VS Code
Citar este repositório
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