log Agda/tutorial.md @ 131:d585ad848911

age author description
2020-12-16 autobackup backup 2020-12-16
2020-12-16 anatofuz init from Growi