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.		9 년 전
..
Crash.agda	7309111183 meta variable talk	18 년 전
Examples.agda	7309111183 meta variable talk	18 년 전
Makefile	7bd8f15ebf template for meta variable talk	18 년 전
Plus.agda	7309111183 meta variable talk	18 년 전
danger_do_not_open_until.eps	7309111183 meta variable talk	18 년 전
danger_do_not_open_until.jpg	7309111183 meta variable talk	18 년 전
proof.sty	7bd8f15ebf template for meta variable talk	18 년 전
talk.tex	7309111183 meta variable talk	18 년 전