log

age author description
2018-01-11 ryokka fix use SingleLinkedStack
2018-01-11 ryokka puttree1 act
2018-01-11 Shinji KONO ...
2018-01-11 Shinji KONO testing
2018-01-10 ryokka print contant tree. C-c C-n test.
2018-01-10 ryokka add redBlackTreeTest.agda test5,test51. but not work
2018-01-10 ryokka add stackTest redBlackTreeTest
2018-01-09 Shinji KONO ...
2018-01-09 Shinji KONO ...
2018-01-09 Shinji KONO fix
2018-01-09 Shinji KONO add test
2018-01-09 Shinji KONO fix red black tree
2018-01-09 ryokka add clearStack
2018-01-09 ryokka add insertCase41, insertCase5
2018-01-09 ryokka fix insertCase4