info.ss
(module info (lib "infotab.ss" "setup")
  (define name "A Calculus of Closures in PLT Redex")
  (define doc.txt "doc.txt")
  (define blurb
    (list '(div "An aplicative order reduction semantics for the lambda-rho-hat calculus of closures.")))
  (define required-core-version "301.3")
  (define categories '(misc)))