("8.17" ta6le ("30411afacdb69bee76db5f05632a043cfc5e409b" . "c7c2801fd1239bae4a57d0145b2e900f7f3e62b1") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter7" #"inferred" #"data-structures.rkt") (collects #"eopl" #"tests" #"chapter7" #"inferred" #"lang.rkt") (collects #"eopl" #"tests" #"chapter7" #"inferred" #"substitutions.rkt"))
