Mercurial > hg > Members > kono > Proof > category

log free-monoid.agda @ 158:9a5becd05681

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
2013-08-18 Shinji KONO um
2013-08-18 Shinji KONO solution of universal mapping for free monoid
2013-08-18 Shinji KONO list is monoid now.
2013-08-18 Shinji KONO Monoids done.
2013-08-18 Shinji KONO on going
less more | (0) tip