("9.1" ti3le ("30411afacdb69bee76db5f05632a043cfc5e409b" . "a02029664ec34f79bd04753f1fb53da81f045b6e") (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"))
