Mercurial > hg > Gears > GearsAgda
graph
-
mergeSat, 28 Jan 2017 15:48:54 +0900, by Shinji KONO
-
generated stub no comiple errorsSat, 28 Jan 2017 15:46:33 +0900, by Shinji KONO
-
fix type gathering pattern match in generate_stub.plSat, 28 Jan 2017 12:37:22 +0900, by Shinji KONO