Install the latest reduction-semantics.plt, which adds k to the grammar for the CK machine.

Implement the CK machine using reduction-semantics. You can start with scc.scm.

Mail your completed ck.scm to mflatt@cs.utah.edu.