| .. |
|
Crash.agda
|
7309111183
meta variable talk
|
il y a 18 ans |
|
Examples.agda
|
7309111183
meta variable talk
|
il y a 18 ans |
|
Makefile
|
7bd8f15ebf
template for meta variable talk
|
il y a 18 ans |
|
Plus.agda
|
7309111183
meta variable talk
|
il y a 18 ans |
|
danger_do_not_open_until.eps
|
7309111183
meta variable talk
|
il y a 18 ans |
|
danger_do_not_open_until.jpg
|
7309111183
meta variable talk
|
il y a 18 ans |
|
proof.sty
|
7bd8f15ebf
template for meta variable talk
|
il y a 18 ans |
|
talk.tex
|
7309111183
meta variable talk
|
il y a 18 ans |
Andrés Sicard-Ramírez
06a20b7169
[ cleaning ] Removed .cvsignore files.
