("8.15" tarm32nb ("452cdd4d5b62cba9d51646dbf5428d96273a7a04" . "68a28df4496da45831345551be381e3415d4254b") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter3" #"proc-lang" #"proc-rep" #"data-structures.rkt") (collects #"eopl" #"tests" #"chapter3" #"proc-lang" #"proc-rep" #"interp.rkt") (collects #"eopl" #"tests" #"chapter3" #"proc-lang" #"proc-rep" #"lang.rkt") (collects #"eopl" #"tests" #"private" #"utils.rkt"))
