(module info (lib "infotab.ss" "setup") (define name "PLT Redex") (define blurb '("PLT Redex is a domain-specific language for expressing " "context-sensitive reduction semantics systems. " "It allows you to explore your reduction systems interactively " "using a GUI interface and write test cases using a scripting " "interface.")) (define categories '(misc)) (define primary-file "reduction-semantics.ss") (define doc.txt "doc.txt"))