This website works better with JavaScript
Inicio
Explorar
Axuda
Iniciar sesión
syevale111
/
edu
Seguir
1
Destacar
0
Fork
0
Ficheiros
Incidencias
5
Pull Requests
0
Wiki
Árbore:
82b12faf32
Ramas
Etiquetas
master
edu
/
.gitignore
.gitignore
21 B
Histórico
Raw
1
2
3
# ---> Agda
*.agdai