CS 4960-01 Homework I-8.3-4

Start with scc.ss, and in a new module implement chc-red and ccc-red, where the latter is a machine that is consistent with Control ISWIM's →_c and that keeps a handler register like the CHC machine.

You should be able to build most of chc-red and ccc-red on an intermediate set of reductions that contains most of the two machines. Since the machine state has more parts than the CC machine, however, you will not be able to build it on top of cc-red (or at least not easily).