caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd_patch

Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files.		hace 9 años
..
Makefile	040185db47 video talk	hace 18 años
abstract	c56ecd257d video talk remarks	hace 18 años
proof.sty	040185db47 video talk	hace 18 años
remarks	c56ecd257d video talk remarks	hace 18 años
talk.tex	040185db47 video talk	hace 18 años