Mercurial > hg > Members > kono > Proof > category

log category.ind @ 377:2dfa2d59268c

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 17:01:14 +0900 Shinji KONO Comparison Functor all done.
Thu, 25 Jul 2013 12:13:10 +0900 Shinji KONO add pdf
Mon, 22 Jul 2013 21:29:26 +0900 Shinji KONO Functor Identity
Mon, 22 Jul 2013 19:07:31 +0900 Shinji KONO isFunctor
Mon, 22 Jul 2013 14:30:27 +0900 Shinji KONO add universal mapping
Sat, 06 Jul 2013 08:50:32 +0900 Shinji KONO fix
Sat, 06 Jul 2013 00:34:08 +0900 Shinji KONO category agda
less more | (0) tip