Mercurial > hg > Members > kono > Proof > category

log universal-mapping.agda @ 905:47a0a9f2eee9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -15 tip
age author description
Wed, 13 Jun 2018 15:27:46 +0900 Shinji KONO exchange left and right
Sun, 12 Nov 2017 01:29:47 +0900 Shinji KONO fix universal mapping done.
Sun, 12 Nov 2017 00:53:32 +0900 Shinji KONO fix again
Sat, 11 Nov 2017 21:34:58 +0900 Shinji KONO fix monad/adjunction definition
Sun, 29 Sep 2013 14:01:07 +0900 Shinji KONO arrow and lambda fix
Sun, 25 Aug 2013 11:10:35 +0900 Shinji KONO comment
Sun, 25 Aug 2013 09:44:00 +0900 Shinji KONO hom set adjunction done.
Sat, 24 Aug 2013 22:14:29 +0900 Shinji KONO hom-set to universal mapping done.
Sat, 24 Aug 2013 17:16:07 +0900 Shinji KONO add more axiom on unity of oppsite
Fri, 23 Aug 2013 17:30:04 +0900 Shinji KONO hmmmm
Fri, 23 Aug 2013 15:38:03 +0900 Shinji KONO hmm
Fri, 23 Aug 2013 10:11:58 +0900 Shinji KONO unity of oppsite
Mon, 19 Aug 2013 04:42:06 +0900 Shinji KONO mmmm
Thu, 08 Aug 2013 22:05:41 +0900 Shinji KONO remove Kleisli record
Thu, 25 Jul 2013 12:58:21 +0900 Shinji KONO distr
less more | (0) -15 tip