log agda/turing.agda @ 89:e919e82e95a2

age author description
2019-04-05 Shinji KONO add coinduction
2018-12-21 Shinji KONO fix
2018-08-29 Shinji KONO add halt
2018-08-27 Shinji KONO turing machine done
2018-08-27 Shinji KONO turing wrote but not yet worked
2018-08-26 Shinji KONO add pushdown and turing