("8.17" tarm64le ("30411afacdb69bee76db5f05632a043cfc5e409b" . "f6148c5d9dccf45828e653c8eebec158c22b333d") (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"))
