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