Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Wed, 16 Mar 2016 17:43:31 +0900 | Shinji KONO | add Maybe Category |
Wed, 16 Mar 2016 15:44:46 +0900 | Shinji KONO | inconsistent distribution law on nil x arrow-g |
Wed, 16 Mar 2016 13:02:51 +0900 | Shinji KONO | non nil dead end... |
Tue, 15 Mar 2016 18:18:06 +0900 | Shinji KONO | bad distribution law |
Tue, 15 Mar 2016 18:05:06 +0900 | Shinji KONO | distribution law stacked |
Tue, 15 Mar 2016 16:50:11 +0900 | Shinji KONO | on going .. |