Inicio Explorar Axuda
Iniciar sesión
caryoscelus
/
agda
Seguir 1
Destacar 0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Rama: js_amd_patch
Ramas Etiquetas
agda
/
notes
/
talks
/
MetaVars
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. %!s(int64=9) %!d(string=hai) anos
..
Crash.agda 7309111183 meta variable talk %!s(int64=18) %!d(string=hai) anos
Examples.agda 7309111183 meta variable talk %!s(int64=18) %!d(string=hai) anos
Makefile 7bd8f15ebf template for meta variable talk %!s(int64=18) %!d(string=hai) anos
Plus.agda 7309111183 meta variable talk %!s(int64=18) %!d(string=hai) anos
danger_do_not_open_until.eps 7309111183 meta variable talk %!s(int64=18) %!d(string=hai) anos
danger_do_not_open_until.jpg 7309111183 meta variable talk %!s(int64=18) %!d(string=hai) anos
proof.sty 7bd8f15ebf template for meta variable talk %!s(int64=18) %!d(string=hai) anos
talk.tex 7309111183 meta variable talk %!s(int64=18) %!d(string=hai) anos