("8.15" tarm32nb ("767983e54f18151bbd50476452254ad1f086ae79" . "8d487639679b9b287d9a142dd7fd42f23e3e0590") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter4" #"call-by-need" #"data-structures.rkt") (collects #"eopl" #"tests" #"chapter4" #"call-by-need" #"store.rkt"))
