This website works better with JavaScript
Home
Esplora
Aiuto
Accedi
syevale111
/
edu
Segui
1
Vota
0
Forka
0
File
Problemi
5
Pull Requests
0
Wiki
Ramo (Branch):
master
Rami (Branch)
Tag
master
edu
/
.gitignore
.gitignore
21 B
Permalink
Cronologia
Originale
1
2
3
# ---> Agda
*.agdai