Mercurial > hg > GearsTemplate
graph
-
Replace goto metaTue, 02 Jan 2018 02:23:41 +0900, by Tatsuki IHA
-
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