("8.15" tarm32nb ("6cb432b99a4cccd95307d60dcce7ae42309db237" . "1c66f7ad6c4e91df287ecddf3f12e0fe763c8bd4") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"lang.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"store.rkt"))
