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.		10 лет назад
..
Makefile	5383db531e final version of chit-chat talk	18 лет назад
notes	5383db531e final version of chit-chat talk	18 лет назад
proof.sty	5383db531e final version of chit-chat talk	18 лет назад
talk.tex	5383db531e final version of chit-chat talk	18 лет назад