Mercurial > hg > Members > kono > Proof > category
comparison free-monoid.agda @ 408:b265e02b0e0b
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 |
comparison
equal
deleted
inserted
replaced
| 407:7bdc93de2d6e | 408:b265e02b0e0b |
|---|