Mercurial > hg > Document > Growi

changeset 121:6138bdc8f9dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
backup 2023-05-11
author autobackup
date Thu, 11 May 2023 00:10:04 +0900
parents d03247694a4b
children 25b8e0232710
files user/Moririn/メモ/2023/05/10/進捗.md
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/Moririn/メモ/2023/05/10/進捗.md	Thu May 11 00:10:04 2023 +0900
@@ -0,0 +1,7 @@
+# 進捗・活動記録
+- 4/10 ~agdaIntroduction (lamda.agda...)  6h
+- 4/12 ~youtube.agda (Agdaによる論理学入門) [[https://gist.github.com/KDXU/3ecf21603abe9e9a409e]] 14h
+- 4/21 ~ agdawiki (みんなのagdawiki) [[https://agda.wiki.fc2.com/]] 20h
+    - A1-A9
+- 5/1 ~ GearsAgda BinaryTreeを読む　(ssh://firefly/hg/Gears/GearsAgda) 
+- 
\ No newline at end of file