Mercurial > hg > Gears > GearsAgda
graph
-
add someTest2018-01-12, by ryokka
-
add reference2018-01-11, by ryokka
-
fix use SingleLinkedStack2018-01-11, by ryokka
-
puttree1 act2018-01-11, by ryokka
-
...2018-01-11, by Shinji KONO
-
testing2018-01-11, by Shinji KONO
-
print contant tree. C-c C-n test.2018-01-10, by ryokka
-
add redBlackTreeTest.agda test5,test51. but not work2018-01-10, by ryokka