Mercurial > hg > Members > kono > Proof > category

log comparison-em.agda @ 474:2d32ded94aaf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Sat, 04 Mar 2017 16:26:57 +0900 Shinji KONO clean up
Sun, 29 Sep 2013 14:01:07 +0900 Shinji KONO arrow and lambda fix
Fri, 02 Aug 2013 17:01:14 +0900 Shinji KONO Comparison Functor all done.
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