log Paper/src/AgdaId.agda @ 28:423f59b098ac

age author description
2023-01-12 soto Init paper