Agda books.

3 years ago · d449ef6278
parent af50e6613f
commit d449ef6278
2 changed files with 0 additions and 0 deletions
--- a/Agda/Agda_PROGRAM_=_PROOF_Samuel_Mimram.jpg
+++ b/Agda/Agda_PROGRAM_=_PROOF_Samuel_Mimram.jpg
--- a/Agda/Agda_thesis_bookworm.gif
+++ b/Agda/Agda_thesis_bookworm.gif