Mercurial > hg > Gears > GearsAgda
graph
-
...Tue, 23 Nov 2021 11:32:35 +0900, by Shinji KONO
-
use record invariant for replaceMon, 22 Nov 2021 22:59:08 +0900, by Shinji KONO
-
...Mon, 22 Nov 2021 21:59:06 +0900, by Shinji KONO
-
...Mon, 22 Nov 2021 19:23:20 +0900, by Shinji KONO
-
...Mon, 22 Nov 2021 16:04:06 +0900, by Shinji KONO
-
...Mon, 22 Nov 2021 15:14:16 +0900, by Shinji KONO