Mercurial > hg > Members > kono > Proof > category
diff src/free-monoid.agda @ 1029:348b5c6d5670
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 30 Mar 2021 16:03:44 +0900 |
parents | ac53803b3b2a |
children | 40c39d3e6a75 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 30 Mar 2021 16:03:44 +0900 |
parents | ac53803b3b2a |
children | 40c39d3e6a75 |