Mercurial > hg > Gears > GearsAgda
graph
-
get argTue, 17 Jan 2017 18:11:39 +0900, by mir3636
-
Add dependency.graffleSat, 14 Jan 2017 19:52:02 +0900, by Tatsuki IHA
-
Add TodoFri, 13 Jan 2017 18:16:02 +0900, by one
-
Add input data gear exampleWed, 11 Jan 2017 17:19:53 +0900, by one
-
Add taskSend for TaskManagerWed, 11 Jan 2017 16:52:27 +0900, by Tatsuki IHA
-
Success create Task and inqueue TaskMon, 09 Jan 2017 21:39:33 +0900, by Tatsuki IHA