Mercurial > hg > Members > soto > experimental

log logic.agda @ 11:e6a7215fb00c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Thu, 11 Feb 2021 17:23:49 +0900 soto add while_init_imple
less more | (0) tip