Página inicial Explorar Ajuda
Entrar
caryoscelus
/
agda
Observar 1
Favorito 0
Fork 0
Arquivos Issues 0 Pull Requests 0 Wiki
Branch: js_amd_patch
Branches Tags
agda
/
notes
/
talks
/
video060510
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 anos atrás
..
Makefile 040185db47 video talk 19 anos atrás
abstract c56ecd257d video talk remarks 19 anos atrás
proof.sty 040185db47 video talk 19 anos atrás
remarks c56ecd257d video talk remarks 19 anos atrás
talk.tex 040185db47 video talk 19 anos atrás