(module info (lib "infotab.ss" "setup")
  (define name "PLT Redex")
  (define doc.txt "doc.txt")
  (define homepage
    "http://people.cs.uchicago.edu/~robby/pubs/papers/rta2004-mfff.pdf")
  (define blurb
    (list '(div "A domain-specific language for context-sensitive reduction semantics. Put in a specification and get out a stepper.")))
  (define required-core-version "301.3")
  (define primary-file "reduction-semantics.ss")
  (define categories '(metaprogramming)))