Головна сторінка Огляд Довідка
Увійти
caryoscelus
/
agda
Слідкувати 1
Зірка 0
Відгалуження 0
Файли Проблеми 0 Запити на злиття 0 Wiki
Гілка: js_amd
Гілки Теги
agda
/
notes
/
talks
/
video060510
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 роки тому
..
Makefile 040185db47 video talk 19 роки тому
abstract c56ecd257d video talk remarks 19 роки тому
proof.sty 040185db47 video talk 19 роки тому
remarks c56ecd257d video talk remarks 19 роки тому
talk.tex 040185db47 video talk 19 роки тому