Gears/GearsAgda: revision graph

graph

less more | rev 195: (0) -100 -30 -10 -4 +4 +10 +30 +100 +300 tip

replace Array and Stack for array and stack
Fri, 16 Dec 2016 23:27:14 +0900, by ikkun
create generate_stub.pl
Fri, 16 Dec 2016 19:40:42 +0900, by mir3636
fixes
Fri, 16 Dec 2016 17:56:39 +0900, by Shinji KONO
close bad one parallel_execution
Fri, 16 Dec 2016 17:52:53 +0900, by Shinji KONO

less more | rev 195: (0) -100 -30 -10 -4 +4 +10 +30 +100 +300 tip