Strona główna Odkrywaj Pomoc
Zaloguj się
caryoscelus
/
agda
Obserwuj 1
Polub 0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Gałąź: js_amd_patch
Gałęzie Tagi
agda
/
notes
/
talks
/
MetaVars
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 lat temu
..
Crash.agda 7309111183 meta variable talk 18 lat temu
Examples.agda 7309111183 meta variable talk 18 lat temu
Makefile 7bd8f15ebf template for meta variable talk 18 lat temu
Plus.agda 7309111183 meta variable talk 18 lat temu
danger_do_not_open_until.eps 7309111183 meta variable talk 18 lat temu
danger_do_not_open_until.jpg 7309111183 meta variable talk 18 lat temu
proof.sty 7bd8f15ebf template for meta variable talk 18 lat temu
talk.tex 7309111183 meta variable talk 18 lat temu