Mercurial > hg > Gears > GearsAgda
graph
-
...2021-11-22, by Shinji KONO
-
...2021-11-22, by Shinji KONO
-
...2021-11-21, by Shinji KONO
-
findP done2021-11-21, by Shinji KONO
-
stack contains original tree at end always2021-11-21, by Shinji KONO
-
...2021-11-21, by Shinji KONO
-
...2021-11-21, by Shinji KONO