Mercurial > hg > Members > kono > Proof > automaton
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 |