(module info (lib "infotab.ss" "setup")
  (define name "PLT Redex")
  (define doc.txt "doc.txt")
  (define homepage
    "http://people.cs.uchicago.edu/~robby/plt-redex/")
  (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 "370.3")
  (define primary-file "reduction-semantics.ss")
  (define categories '(metaprogramming)))