Members/kono/Proof/category: revision graph

mmmm
Mon, 19 Aug 2013 04:42:06 +0900, by Shinji KONO
um
Mon, 19 Aug 2013 00:19:25 +0900, by Shinji KONO
solution of universal mapping for free monoid
Sun, 18 Aug 2013 22:30:30 +0900, by Shinji KONO
list is monoid now.
Sun, 18 Aug 2013 22:17:46 +0900, by Shinji KONO
Monoids done.
Sun, 18 Aug 2013 21:30:00 +0900, by Shinji KONO
on going
Sun, 18 Aug 2013 19:55:05 +0900, by Shinji KONO
sync
Sat, 17 Aug 2013 21:09:34 +0900, by Shinji KONO
fix
Sat, 17 Aug 2013 21:08:33 +0900, by Shinji KONO
fix
Sat, 17 Aug 2013 20:59:31 +0900, by Shinji KONO
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

Mercurial > hg > Members > kono > Proof > category