log agda/regex1.agda @ 34:a904b6bc76af

age author description
2018-11-06 Shinji KONO add regular language base agda/regex.agda@5a297e54083f