Mercurial > hg > Gears > GearsAgda
graph
-
Add cudaflag if LinuxFri, 29 Dec 2017 17:16:24 +0900, by Tatsuki IHA
-
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