("8.17" ta6le ("f5adca2269dca8ac04491d68556854f643943a11" . "d922220c97c0443680ec0dc44d3b448b1af9842e") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter7" #"checked" #"lang.rkt"))
