Mercurial > hg > Members > kono > Proof > category
diff monoid-monad.agda @ 176:ae1a4f7e5203
hom set adjunction done.
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 25 Aug 2013 09:44:00 +0900 |
parents | 721cf9d9f5e3 |
children | 58ee98bbb333 |