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 |
Sat, 26 Mar 2016 15:51:30 +0900 | Shinji KONO | clean up |
Sat, 26 Mar 2016 15:47:46 +0900 | Shinji KONO | limit-to done |
Sat, 26 Mar 2016 15:09:19 +0900 | Shinji KONO | nat commute in limit-to |
Sat, 26 Mar 2016 13:50:18 +0900 | Shinji KONO | ... |