{"size": 825, "ext": "scrbl", "max_stars_repo_path": "docs/scrbl/ref.scrbl", "max_stars_repo_name": "AWolf81/reach-lang", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "docs/scrbl/ref.scrbl", "max_issues_repo_name": "AWolf81/reach-lang", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "docs/scrbl/ref.scrbl", "max_forks_repo_name": "AWolf81/reach-lang", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 29.4642857143, "max_line_length": 122, "alphanum_fraction": 0.7212121212}
#lang scribble/manual
@(require "lib.rkt"
          scribble/bnf)

@title[#:version reach-vers #:tag "ref" #:style 'toc]{Reference}

This document contains an exhaustive discussion of each of the parts of the Reach @DApp language and its standard library.

@itemlist[
@item{@secref["ref-install"]}
@item{@secref["ref-usage"]}
@item{@secref["ref-model"]}
@item{@secref["ref-programs"]}
@item{@secref["ref-networks"]}
@item{@secref["ref-backends"]}
@item{@secref["ref-frontends"]}
@item{@secref["ref-error-codes"]}
]

@include-section["ref-install.scrbl"]
@include-section["ref-usage.scrbl"]
@include-section["ref-model.scrbl"]
@include-section["ref-programs.scrbl"]
@include-section["ref-networks.scrbl"]
@include-section["ref-backends.scrbl"]
@include-section["ref-frontends.scrbl"]
@include-section["ref-error-codes.scrbl"]
