{"size": 829, "ext": "scrbl", "max_stars_repo_path": "redex-doc/redex/scribblings/ref.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/scribblings/ref.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/scribblings/ref.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": 34.5416666667, "max_line_length": 69, "alphanum_fraction": 0.779252111}
#lang scribble/doc
@(require scribble/manual)
@title[#:tag "reference"]{The Redex Reference}

@defmodule*/no-declare[(redex)]

The @racketmodname[redex] library provides all of
the names documented here.

Alternatively, use the @racketmodname[redex/reduction-semantics] and 
@racketmodname[redex/pict] libraries, which provide only non-GUI 
functionality (i.e., everything except @racketmodname[redex/gui]), 
making them suitable for programs that should not depend on 
@racketmodname[racket/gui/base].

@include-section["ref/patterns.scrbl"]
@include-section["ref/terms.scrbl"]
@include-section["ref/languages.scrbl"]
@include-section["ref/reduction-relations.scrbl"]
@include-section["ref/other-relations.scrbl"]
@include-section["ref/testing.scrbl"]
@include-section["ref/gui.scrbl"]
@include-section["ref/typesetting.scrbl"]
