{"size": 1238, "ext": "scrbl", "max_stars_repo_path": "redex-doc/redex/redex.scrbl", "max_stars_repo_name": "LiberalArtist/redex", "max_stars_repo_stars_event_min_datetime": "2018-07-29T04:13:52.000Z", "max_stars_repo_stars_event_max_datetime": "2022-02-14T16:11:17.000Z", "max_issues_repo_path": "redex-doc/redex/redex.scrbl", "max_issues_repo_name": "LiberalArtist/redex", "max_issues_repo_issues_event_min_datetime": "2017-08-25T20:26:37.000Z", "max_issues_repo_issues_event_max_datetime": "2022-02-26T17:48:40.000Z", "max_forks_repo_path": "redex-doc/redex/redex.scrbl", "max_forks_repo_name": "LiberalArtist/redex", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": 10, "max_issues_count": 15, "max_forks_count": null, "avg_line_length": 30.95, "max_line_length": 83, "alphanum_fraction": 0.7455573506}
#lang scribble/doc
@(require scribble/manual
          scribble/bnf
          scribble/struct
          scribble/eval
          "scribblings/cite.rkt")

@title{Redex: Practical Semantics Engineering}

@author["Robert Bruce Findler" "Casey Klein" "Burke Fetscher" "Matthias Felleisen"]

PLT Redex consists of a domain-specific language for specifying
reduction semantics, plus a suite of tools for working with the
semantics. 

This manual consists of four parts: a short tutorial introduction,
a long tutorial introduction, a reference manual for Redex, and a
description of the Redex automated testing benchmark suite.
Also see
@link["http://redex.racket-lang.org/"]{@tt{http://redex.racket-lang.org/}}
and the @tt{examples} subdirectory in the @tt{redex} collection.

@table-of-contents[]

@include-section["scribblings/tut.scrbl"]
@include-section["scribblings/long-tut/long-tut.scrbl"]
@include-section["scribblings/extended-exercises/extended-exercises.scrbl"]
@include-section["scribblings/ref.scrbl"]
@include-section["scribblings/benchmark.scrbl"]

@generate-bibliography[]
@index-section[]


@; Needs a timeout for testing:
@(module* test racket/base
   (require (submod ".."))
   (module config info
     (define timeout 300)))
