Mercurial > hg > Papers > 2020 > ryokka-master
view paper/master_paper.pdf @ 7:8ef64db63497
fix agda.tex
author | ryokka |
---|---|
date | Thu, 06 Feb 2020 19:24:32 +0900 |
parents | d30593612a38 |
children | b8ff2bd1a5af |
author | ryokka |
---|---|
date | Thu, 06 Feb 2020 19:24:32 +0900 |
parents | d30593612a38 |
children | b8ff2bd1a5af |