("8.17" tarm64le ("111ccdedb1cdb55eba35e92a554e2cb818fb02e2" . "a2d35d6b9606e0591d8d5418944aa1d38f6f9667") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter3" #"proc-lang" #"proc-rep" #"lang.rkt"))
