("9.1" ta6le ("dccbaf825249d63c7e3e2270b1349f9d3ea1d323" . "daee6ee131ec0da22675add607dc2a2c5d47a890") (collects #"racket" #"base.rkt") (collects #"racket" #"bool.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"benchmark" #"models" #"list-machine" #"ls-typed-gen.rkt") (collects #"redex" #"examples" #"list-machine" #"list-machine-typing.rkt") (collects #"redex" #"examples" #"list-machine" #"list-machine.rkt") (collects #"redex" #"private" #"generate-term.rkt") (collects #"redex" #"reduction-semantics.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt"))
