log README.md @ 1408:2fe6908fb48e

age author description
2023-06-25 Shinji KONO is this agda's bug?
2023-03-01 Shinji KONO fix README
2020-12-21 Shinji KONO reorganiztion for apkg
2020-07-14 Shinji KONO ...
2020-07-12 Shinji KONO ...
2020-07-07 Shinji KONO ...
2020-05-09 Shinji KONO separate choice