log a02/agda/practice-logic.agda @ 252:9fc9e19f2c37

age author description
2020-12-27 Shinji KONO clean up
2020-03-14 Shinji KONO add utm
2019-10-16 Shinji KONO fix graph
2019-10-15 Shinji KONO add
2019-10-02 Shinji KONO fix