Mercurial > hg > Gears > GearsAgda
graph
-
stack.agda commentMon, 01 Jan 2018 19:17:01 +0900, by Shinji KONO
-
separate methods in stack.agdaMon, 01 Jan 2018 19:14:09 +0900, by Shinji KONO
-
stack.agda commentMon, 01 Jan 2018 18:58:05 +0900, by Shinji KONO
-
stack.agda commentMon, 01 Jan 2018 18:32:20 +0900, by Shinji KONO
-
fix proofMon, 01 Jan 2018 11:19:14 +0900, by Shinji KONO
-
stack.agda leveledMon, 01 Jan 2018 09:34:46 +0900, by Shinji KONO
-
MergeMon, 01 Jan 2018 06:38:13 +0900, by Tatsuki IHA