log Paper/src/agda-term3.agda @ 14:393c839f987b default tip

age author description
2021-11-01 soto init