("8.15" tarm32nb ("e14757ad6a99a25a87a912b762b220ca76f4df37" . "a3a0e4205aa8b062158cbe2103b0e4ece4b19057") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter7" #"inferred" #"data-structures.rkt") (collects #"eopl" #"tests" #"chapter7" #"inferred" #"environments.rkt") (collects #"eopl" #"tests" #"chapter7" #"inferred" #"lang.rkt"))
