log Agda/debug_build.md @ 2:b6c284fd5ae4

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