Mercurial > hg > Members > kono > Proof > category
graph
-
Haskell Monoidal Funtor to Applicative doneFri, 24 Nov 2017 14:26:01 +0900, by Shinji KONO
-
composition doneFri, 24 Nov 2017 13:20:14 +0900, by Shinji KONO
-
add some toolsFri, 24 Nov 2017 11:32:41 +0900, by Shinji KONO
-
...Thu, 23 Nov 2017 20:18:09 +0900, by Shinji KONO
-
identity doneThu, 23 Nov 2017 18:24:44 +0900, by Shinji KONO
-
...Thu, 23 Nov 2017 12:37:22 +0900, by Shinji KONO
-
...Thu, 23 Nov 2017 12:08:42 +0900, by Shinji KONO
-
fixThu, 23 Nov 2017 11:40:12 +0900, by Shinji KONO
-
on going ...Thu, 23 Nov 2017 10:47:46 +0900, by Shinji KONO
-
Sets is MonoidalThu, 23 Nov 2017 09:34:15 +0900, by Shinji KONO
-
Applicative ⇔ MonoidalWed, 22 Nov 2017 14:07:17 +0900, by Shinji KONO
-
fixWed, 22 Nov 2017 12:49:17 +0900, by Shinji KONO
-
add Applicative and HaskellMonoidal FunctorWed, 22 Nov 2017 11:51:34 +0900, by Shinji KONO
-
clean upWed, 22 Nov 2017 04:42:48 +0900, by Shinji KONO
-
Monidal functor done.Wed, 22 Nov 2017 04:12:14 +0900, by Shinji KONO