("8.17" ta6le ("adea426b43bdca70c25cb6e4a3ab2f7d8796cbbf" . "06371077fa1c268a12f7d4ca48eb8ed4476a40f8") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"examples" #"list-machine" #"list-machine-typing.rkt") (collects #"redex" #"examples" #"list-machine" #"list-machine.rkt") (collects #"redex" #"main.rkt"))
