Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files 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. 9 years ago
..
Makefile 040185db47 video talk 18 years ago
abstract c56ecd257d video talk remarks 18 years ago
proof.sty 040185db47 video talk 18 years ago
remarks c56ecd257d video talk remarks 18 years ago
talk.tex 040185db47 video talk 18 years ago