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

Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files.		hace 9 años
..
Makefile	5383db531e final version of chit-chat talk	hace 18 años
notes	5383db531e final version of chit-chat talk	hace 18 años
proof.sty	5383db531e final version of chit-chat talk	hace 18 años
talk.tex	5383db531e final version of chit-chat talk	hace 18 años