Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sun, 29 Sep 2013 14:43:47 +0900 | Shinji KONO | fix |
Sun, 29 Sep 2013 14:01:07 +0900 | Shinji KONO | arrow and lambda fix |
Sun, 29 Sep 2013 13:36:42 +0900 | Shinji KONO | remove module parameter from yoneda functor |