("9.3" ta6le ("f5adca2269dca8ac04491d68556854f643943a11" . "58b31dd85373d7d5d89371d008b6c783105ff6c9") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter7" #"checked" #"lang.rkt"))
