Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Tue, 22 Mar 2016 15:01:47 +0900 | Shinji KONO | if enumarate all possible combination in assoc, it'll pass. |
Mon, 21 Mar 2016 21:08:46 +0900 | Shinji KONO | ... |
Mon, 21 Mar 2016 20:58:00 +0900 | Shinji KONO | non recorded arrow does not work |
Mon, 21 Mar 2016 12:44:43 +0900 | Shinji KONO | no Maybe TwoCat in limit-to |
Sun, 20 Mar 2016 12:32:13 +0900 | Shinji KONO | ... |
Sun, 20 Mar 2016 11:36:44 +0900 | Shinji KONO | maybe CAT |