Mercurial > hg > Gears > GearsAgda
graph
-
proof pop2 function in agdaFri, 29 Dec 2017 19:27:39 +0900, by ryokka
-
pop2 and get2 in agdaFri, 29 Dec 2017 18:29:01 +0900, by ryokka
-
add getSingleLinkedStack,get2SingleLinkedStack. but get2SingleLinkedStack not working nowFri, 29 Dec 2017 11:07:18 +0900, by ryokka