Please enable JavaScript in your browser!
Domů
Procházet
Nápověda
Přihlásit se
caryoscelus
/
chunks-of-agda
Sledovat
1
Oblíbit
0
Rozštěpit
0
Soubory
Úkoly
0
Pull Requesty
0
Wiki
Větev:
main
Větve
Značky
main
chunks-of-agda
/
.gitignore
.gitignore
39 B
Trvalý odkaz
Historie
Surový
1
2
3
4
5
6
# ---> Agda
*.agdai
.emacs.desktop
*~