Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sat, 02 Dec 2017 00:30:44 +0900 | Shinji KONO | ... |
Thu, 30 Nov 2017 11:06:56 +0900 | Shinji KONO | ... |
Wed, 29 Nov 2017 01:13:13 +0900 | Shinji KONO | ... |
Tue, 28 Nov 2017 10:47:05 +0900 | Shinji KONO | add Monad to Monoidal Functor / Applicative |
Mon, 27 Nov 2017 14:42:49 +0900 | Shinji KONO | Generalize Free Theorem |
Sun, 26 Nov 2017 21:57:41 +0900 | Shinji KONO | clean up |