("9.1" ta6le ("30411afacdb69bee76db5f05632a043cfc5e409b" . "ba701732a10e0d278a5bbc8dcd34588362802c6a") (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"))
