log agda/regular-language.agda @ 65:293a2075514b

age author description
2019-10-31 Shinji KONO ...