Mercurial > hg > Members > kono > Proof > category
log monoidal.agda @ 696:10ccac3bc285
age | author | description |
---|---|---|
Mon, 20 Nov 2017 22:52:55 +0900 | Shinji KONO | Monoidal category and applicative functor |
age | author | description |
---|---|---|
Mon, 20 Nov 2017 22:52:55 +0900 | Shinji KONO | Monoidal category and applicative functor |