Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Branch: js_amd_patch
Branch-ok Tag-ek
agda
/
notes
/
talks
/
video060510
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 éve
..
Makefile 040185db47 video talk 18 éve
abstract c56ecd257d video talk remarks 18 éve
proof.sty 040185db47 video talk 18 éve
remarks c56ecd257d video talk remarks 18 éve
talk.tex 040185db47 video talk 18 éve