log automaton-in-agda/src/extended-automaton.agda @ 346:4456eebbd1bc

age author description
2023-03-12 Shinji KONO fix base automaton-in-agda/src/turing.agda@bcef43df83cd