Mercurial > hg > Members > kono > Proof > category
graph
-
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