Mercurial > hg > Papers > 2020 > ryokka-master
view paper/fig/subtype-return.xbb @ 7:8ef64db63497
fix agda.tex
author | ryokka |
---|---|
date | Thu, 06 Feb 2020 19:24:32 +0900 |
parents | c7acb9211784 |
children |
line wrap: on
line source
%%Title: fig/subtype-return.pdf %%Creator: extractbb 20190225 %%BoundingBox: 0 0 1084 281 %%HiResBoundingBox: 0.000000 0.000000 1084.000000 281.000000 %%PDFVersion: 1.3 %%Pages: 1 %%CreationDate: Wed Feb 5 17:52:45 2020