This website works better with JavaScript
Home
Esplora
Aiuto
Registrati
Accedi
jellyfishtechnologies
/
JellyfishTechnologies
Segui
1
Vota
0
Forka
0
File
Problemi
0
Pull Requests
0
Wiki
Albero (Tree):
124596dcaa
Rami (Branch)
Tag
master
JellyfishTec...
/
.gitignore
.gitignore
21 B
Cronologia
Originale
1
2
3
# ---> Agda
*.agdai