("8.17" ta6le ("33c12d99d4318edfa72271bf11e10afea9b192e0" . "4bd0cca5e37c7fbc5e279f43a6f881314a3033b7") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter8" #"full-system" #"lang.rkt"))
