("8.17" ta6le ("bbea41825de8bba752063d64ae2a361e03d5fe69" . "1b2e4f3eb6adb5299efae07ef0f7b996dbc549cd") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter5" #"letrec-lang" #"data-structures.rkt"))
