("8.17" ta6le ("16778799998b062fdd38f2c0e94124fd8af43560" . "06b16183c571b036649558bcbf9aa3ccba2e7f1f") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter6" #"cps-lang" #"cps-out-lang.rkt"))
