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