log Agda/tutorial.md @ 82:0c1b2bf65440

age author description
Wed, 16 Dec 2020 15:11:16 +0900 autobackup backup 2020-12-16
Wed, 16 Dec 2020 14:05:01 +0900 anatofuz init from Growi