Mercurial > hg > Papers > 2021 > soto-prosym
graph
-
ADD カンペが完成Sat, 08 Jan 2022 09:53:19 +0900, by soto
-
WIP カンペを追加 14ページまでFri, 07 Jan 2022 00:58:07 +0900, by soto
-
いったんスライドは完成Thu, 06 Jan 2022 16:57:53 +0900, by soto
-
fix slide introThu, 06 Jan 2022 13:59:12 +0900, by soto
-
add mindmapThu, 06 Jan 2022 11:18:27 +0900, by soto
-
WIP slideWed, 05 Jan 2022 17:15:56 +0900, by soto
-
WIP スライドを追加Wed, 29 Dec 2021 16:50:35 +0900, by soto
-
temporary DONEWed, 10 Nov 2021 10:34:48 +0900, by soto
-
INIT rbt.agdaSun, 07 Nov 2021 00:51:16 +0900, by soto
-
FIX 余分なコメントやコードを削除Sat, 06 Nov 2021 20:06:24 +0900, by soto
-
add bt agda sourceSat, 06 Nov 2021 19:45:49 +0900, by soto
-
ADD while loop descriptionFri, 05 Nov 2021 15:19:08 +0900, by soto
-
ADD pdfTue, 02 Nov 2021 06:58:39 +0900, by soto
-
initTue, 02 Nov 2021 06:55:58 +0900, by soto