("8.15" tarm32nb ("3058ea13c1c65df3917cfc1cd7ec565d04c9cac2" . "934c74f946d04216af73123cee248be9aab75c82") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter3" #"lexaddr-lang" #"data-structures.rkt"))
