Mercurial > hg > Papers > 2018 > ryokka-sigos

log Paper/src/AgdaParameterizedModule.agda @ 1:bf2887cd22c1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Fri, 13 Apr 2018 19:47:50 +0900 ryokka fix Paper
less more | (0) tip