("9.1" ti3le ("9be2109bc3c5a06dd6f5bcc831e7bfdee11d76b9" . "962b231e3b7b866522f8a1940338226f7cf9389e") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter3" #"lexaddr-lang" #"lang.rkt"))
