Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sat, 26 Mar 2016 20:00:34 +0900 | Shinji KONO | functor constraint does not work well on distribution law |
Sat, 26 Mar 2016 17:18:49 +0900 | Shinji KONO | add another method as a comment |