log automaton-in-agda/automaton-in-agda.agda-lib @ 398:d7ea37e49f35

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