{"size": 727, "ext": "scrbl", "max_stars_repo_path": "docs-src/guide-editor-support.scrbl", "max_stars_repo_name": "Bhaney44/reach-lang", "max_stars_repo_stars_event_min_datetime": "2021-05-15T21:43:05.000Z", "max_stars_repo_stars_event_max_datetime": "2021-05-15T21:43:05.000Z", "max_issues_repo_path": "docs-src/guide-editor-support.scrbl", "max_issues_repo_name": "Bhaney44/reach-lang", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "docs-src/guide-editor-support.scrbl", "max_forks_repo_name": "Bhaney44/reach-lang", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": 1, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 42.7647058824, "max_line_length": 141, "alphanum_fraction": 0.764786795}
#lang scribble/manual
@(require "lib.rkt")

@title[#:version reach-vers #:tag "guide-editor-support"]{IDE/Text Editor Support}

There are a number of text editor plugins available to provide a
better development experience for Reach. These plugins provide syntax
highlighting, build commands, key mappings, snippets, and more. The
following plugins are availabe:

@itemlist[
@item{Visual Studio Code: @link["https://marketplace.visualstudio.com/items?itemName=reachsh.reach-ide"]{Reach IDE}}
@item{Atom: @link["https://atom.io/packages/language-reach"]{Reach Language Support}, @link["https://atom.io/packages/reach-ide"]{Reach IDE}}
@item{Sublime Text: @link["https://github.com/chrisnevers/reach-ide-sublime"]{Reach IDE}}
]

