log src/logic.agda @ 1485:5dacb669f13b

age author description
2024-01-01 Shinji KONO ...
2023-07-04 Shinji KONO ...
2023-02-21 Shinji KONO ...
2023-02-18 Shinji KONO Func and Funcs
2020-12-21 Shinji KONO reorganiztion for apkg