Mercurial > hg > Papers > 2018 > ryokka-sigos

view Paper/sigos.pdf @ 8:35d15c091cfd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix Makefile export .agda.replaced,and main document
author ryokka
date Mon, 23 Apr 2018 21:44:32 +0900
parents 06a1339fbda4
children 907f967f662e
line wrap: on
line source

(binary:application/pdf)