Mercurial > hg > Members > kono > Proof > category
graph
-
...Mon, 23 Oct 2017 07:52:30 +0900, by Shinji KONO
-
...Sun, 22 Oct 2017 23:36:30 +0900, by Shinji KONO
-
introducd HeterogeneousEqualitySun, 22 Oct 2017 22:42:56 +0900, by Shinji KONO
-
move InitialObject to cat-utilitySat, 12 Aug 2017 16:35:58 +0900, by Shinji KONO
-
maybe monad doneWed, 19 Jul 2017 22:27:35 +0900, by Shinji KONO
-
add maybe-monadWed, 19 Jul 2017 20:38:02 +0900, by Shinji KONO