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.		před 10 roky
..
Crash.agda	7309111183 meta variable talk	před 18 roky
Examples.agda	7309111183 meta variable talk	před 18 roky
Makefile	7bd8f15ebf template for meta variable talk	před 18 roky
Plus.agda	7309111183 meta variable talk	před 18 roky
danger_do_not_open_until.eps	7309111183 meta variable talk	před 18 roky
danger_do_not_open_until.jpg	7309111183 meta variable talk	před 18 roky
proof.sty	7bd8f15ebf template for meta variable talk	před 18 roky
talk.tex	7309111183 meta variable talk	před 18 roky