Mercurial > hg > Members > kono > Proof > automaton
log automaton-in-agda/src/pushdown.agda @ 183:3fa72793620b
age | author | description |
---|---|---|
2021-06-13 | Shinji KONO | fix base automaton-in-agda/src/agda/pushdown.agda@b066106f6d64 |
age | author | description |
---|---|---|
2021-06-13 | Shinji KONO | fix base automaton-in-agda/src/agda/pushdown.agda@b066106f6d64 |