Halaman utama Jelajahi Bantuan
Masuk
caryoscelus
/
agda
Liatin 1
Bintangi 0
Fork 0
Berkas Masalah 0 Tarik Permintaan 0 Wiki
Cabang: js_amd_patch
Ranting Tag
agda
/
notes
/
talks
/
MetaVars
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 tahun lalu
..
Crash.agda 7309111183 meta variable talk 18 tahun lalu
Examples.agda 7309111183 meta variable talk 18 tahun lalu
Makefile 7bd8f15ebf template for meta variable talk 18 tahun lalu
Plus.agda 7309111183 meta variable talk 18 tahun lalu
danger_do_not_open_until.eps 7309111183 meta variable talk 18 tahun lalu
danger_do_not_open_until.jpg 7309111183 meta variable talk 18 tahun lalu
proof.sty 7bd8f15ebf template for meta variable talk 18 tahun lalu
talk.tex 7309111183 meta variable talk 18 tahun lalu