log automaton-in-agda/automaton-in-agda.agda-pkg @ 406:a60132983557

age author description
Sun, 13 Jun 2021 18:48:57 +0900 Shinji KONO reorganization