annotate paper/master_paper.pdf @ 7:8ef64db63497

fix agda.tex
author ryokka
date Thu, 06 Feb 2020 19:24:32 +0900
parents d30593612a38
children b8ff2bd1a5af
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
8ef64db63497 fix agda.tex
ryokka
parents: 6
diff changeset
1 (binary:application/pdf)