Mercurial > hg > Members > kono > Proof > category

log comparison-em.agda @ 127:3e05417b0876

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Fri, 02 Aug 2013 10:06:15 +0900 Shinji KONO Comparison Functor for Eilenberg-Moore Category is constructed.
Fri, 02 Aug 2013 09:59:38 +0900 Shinji KONO Algebra
Fri, 02 Aug 2013 09:52:59 +0900 Shinji KONO on going (horizontal composition)
Fri, 02 Aug 2013 08:50:22 +0900 Shinji KONO on going
Fri, 02 Aug 2013 08:36:44 +0900 Shinji KONO problems written Comparison Functor on EM
Fri, 02 Aug 2013 08:21:32 +0900 Shinji KONO no yellow on em-category
Thu, 01 Aug 2013 18:14:42 +0900 Shinji KONO add Comparison functor for EM base comparison-functor.agda@b869ef2a9409
less more | (0) tip