("8.17" ta6le ("9be2109bc3c5a06dd6f5bcc831e7bfdee11d76b9" . "fc80e3f588cf5220fb6d384809a0bb6ef690a406") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter3" #"lexaddr-lang" #"lang.rkt"))
