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

age author description
2023-01-12 soto Init paper