Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): js_amd_patch
Rami (Branch) Tag
agda
/
notes
/
talks
/
MetaVars
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 anni fa
..
Crash.agda 7309111183 meta variable talk 18 anni fa
Examples.agda 7309111183 meta variable talk 18 anni fa
Makefile 7bd8f15ebf template for meta variable talk 18 anni fa
Plus.agda 7309111183 meta variable talk 18 anni fa
danger_do_not_open_until.eps 7309111183 meta variable talk 18 anni fa
danger_do_not_open_until.jpg 7309111183 meta variable talk 18 anni fa
proof.sty 7bd8f15ebf template for meta variable talk 18 anni fa
talk.tex 7309111183 meta variable talk 18 anni fa