("8.15" tarm32nb ("aba17299a26c72a56c08548179910c5831327a0b" . "6dede1d6427addac7c442d2041608db2bfc335a5") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter5" #"letrec-lang" #"data-structures.rkt") (collects #"eopl" #"tests" #"chapter5" #"letrec-lang" #"environments.rkt") (collects #"eopl" #"tests" #"chapter5" #"letrec-lang" #"lang.rkt"))
