("8.15" tarm32nb ("616db19570537d5649f1795a5604aeafcc9ed3af" . "21d2557fb73731e422c2febc29c75ae6e156a35a") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"lang.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"static-data-structures.rkt"))
