Mercurial > hg > Members > kono > Proof > category

diff free-monoid.agda @ 408:b265e02b0e0b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
if enumarate all possible combination in assoc, it'll pass.
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 22 Mar 2016 15:01:47 +0900
parents d8cb7f9c7980
children 3e44951b9bdb
line wrap: on
line diff