Members/kono/Proof/category: revision graph

clean up
Thu, 15 Aug 2013 12:32:48 +0900, by Shinji KONO
clean up
Thu, 15 Aug 2013 12:04:50 +0900, by Shinji KONO
no yellow on monoid monad
Thu, 15 Aug 2013 11:45:24 +0900, by Shinji KONO
add comment
Thu, 15 Aug 2013 04:46:22 +0900, by Shinji KONO
assuing ∀{x : Carrier Mono } {f g : Carrier Mono -> Carrier Mono } -> (f x ≡ g x) -> ( f ≡ g )
Thu, 15 Aug 2013 03:34:00 +0900, by Shinji KONO
on going ..
Wed, 14 Aug 2013 22:45:50 +0900, by Shinji KONO
on going...
Wed, 14 Aug 2013 10:26:45 +0900, by Shinji KONO
on going ...
Tue, 13 Aug 2013 18:07:27 +0900, by Shinji KONO
on going...
Tue, 13 Aug 2013 18:02:45 +0900, by Shinji KONO
on going
Tue, 13 Aug 2013 16:16:01 +0900, by Shinji KONO
fix
Tue, 13 Aug 2013 12:55:08 +0900, by Shinji KONO
η and μ defined.
Tue, 13 Aug 2013 12:47:37 +0900, by Shinji KONO
T as Sets -> Sets
Tue, 13 Aug 2013 11:48:45 +0900, by Shinji KONO
dead end?
Tue, 13 Aug 2013 11:42:09 +0900, by Shinji KONO
on ogoing...
Tue, 13 Aug 2013 10:57:41 +0900, by Shinji KONO

Mercurial > hg > Members > kono > Proof > category