Mercurial > hg > Members > kono > Proof > automaton
log agda/regex1.agda @ 34:a904b6bc76af
age | author | description |
---|---|---|
2018-11-06 | Shinji KONO | add regular language base agda/regex.agda@5a297e54083f |
age | author | description |
---|---|---|
2018-11-06 | Shinji KONO | add regular language base agda/regex.agda@5a297e54083f |