Deciders for https://bbchallenge.org/.
Machine.hs is a module implementing basic directional Turing machine support,
CPS.hs is a reimplementation of Skelet's closed position set decider,
Bouncers.hs is a decider for bouncer machines, see https://github.com/TonyGuil/bbchallenge/tree/main/Bouncers for a different implementation,
Repeat.hs is a reimplementation of mxdys' RepWL_ES decider, see https://github.com/ccz181078/Coq-BB5?tab=readme-ov-file#repwl_es_decider.