log Paper/src/AgdaTreeDebug.agda @ 11:ae8ea72d5c41

age author description
Sun, 24 Apr 2022 23:13:44 +0900 soto ADD fast commit