Mercurial > hg > Members > kono > Proof > category
graph
-
Free Theorem completeSun, 26 Nov 2017 10:59:38 +0900, by Shinji KONO
-
postulate Free TheoremSun, 26 Nov 2017 10:41:21 +0900, by Shinji KONO
-
uniquness of functor fmapSat, 25 Nov 2017 18:49:32 +0900, by Shinji KONO
-
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