Mercurial > hg > Members > kono > Proof > category
graph
-
use FMap F f x ≡ pure f <*> xSat, 25 Nov 2017 16:40:17 +0900, by Shinji KONO
-
...Sat, 25 Nov 2017 11:34:22 +0900, by Shinji KONO
-
Applicative law → Monoidal law beginFri, 24 Nov 2017 16:38:34 +0900, by Shinji KONO
-
Added tag current for changeset a41b2b9b0407Fri, 24 Nov 2017 14:27:07 +0900, by Shinji KONO
-
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
-
Monoidal Functor ( two functor remains )Wed, 22 Nov 2017 02:55:36 +0900, by Shinji KONO
-
Monoidal Functor on going ...Wed, 22 Nov 2017 02:09:22 +0900, by Shinji KONO
-
monodial cateogry and functorTue, 21 Nov 2017 22:42:33 +0900, by Shinji KONO
-
add definitionsTue, 21 Nov 2017 10:28:53 +0900, by Shinji KONO
-
Monoidal FunctorTue, 21 Nov 2017 09:57:42 +0900, by Shinji KONO