Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: js_amd
Branches Tags
agda
/
notes
/
talks
/
MetaVars
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 years ago
..
Crash.agda 7309111183 meta variable talk 18 years ago
Examples.agda 7309111183 meta variable talk 18 years ago
Makefile 7bd8f15ebf template for meta variable talk 18 years ago
Plus.agda 7309111183 meta variable talk 18 years ago
danger_do_not_open_until.eps 7309111183 meta variable talk 18 years ago
danger_do_not_open_until.jpg 7309111183 meta variable talk 18 years ago
proof.sty 7bd8f15ebf template for meta variable talk 18 years ago
talk.tex 7309111183 meta variable talk 18 years ago