Mercurial > hg > Papers > 2020 > soto-midterm
graph
-
post agda codeWed, 09 Sep 2020 22:07:32 +0900, by soto
-
fix missTue, 08 Sep 2020 18:43:57 +0900, by soto
-
(none)Tue, 08 Sep 2020 18:38:08 +0900, by soto
-
fast commitTue, 25 Aug 2020 15:06:24 +0900, by soto