Mercurial > hg > Members > Moririn
log redBlackTreeTest.agda @ 542:ee65e69c9b62
age | author | description |
---|---|---|
Thu, 11 Jan 2018 17:38:13 +0900 | ryokka | puttree1 act |
Thu, 11 Jan 2018 15:16:44 +0900 | Shinji KONO | ... |
Thu, 11 Jan 2018 11:55:22 +0900 | Shinji KONO | testing |
Wed, 10 Jan 2018 18:10:03 +0900 | ryokka | print contant tree. C-c C-n test. |
Wed, 10 Jan 2018 17:38:24 +0900 | ryokka | add redBlackTreeTest.agda test5,test51. but not work |
Wed, 10 Jan 2018 15:44:13 +0900 | ryokka | add stackTest redBlackTreeTest |