{"size": 1114, "ext": "scrbl", "max_stars_repo_path": "docs-src/minted/test.scrbl", "max_stars_repo_name": "iblazevic/reach-lang", "max_stars_repo_stars_event_min_datetime": "2021-01-30T05:17:19.000Z", "max_stars_repo_stars_event_max_datetime": "2021-01-30T05:17:19.000Z", "max_issues_repo_path": "docs-src/minted/test.scrbl", "max_issues_repo_name": "iblazevic/reach-lang", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "docs-src/minted/test.scrbl", "max_forks_repo_name": "iblazevic/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": 30.1081081081, "max_line_length": 255, "alphanum_fraction": 0.5942549372}
#lang scribble/base
@(require scribble/html-properties
          scribble/core
          racket/runtime-path
          racket/file
          (only-in xml cdata)
          "main.rkt")
@(define-runtime-path here ".")

@(define top #<<END
   <link rel="stylesheet" type="text/css" href="../minted.css" title="default">
END
   )

@title[#:style (style #f (list (head-extra (cdata #f #f top))))]{Example}

Another short example: @(mint "reach" #:inline? #t #:defines '(("=" ">")) "=>") is an arrow expression.

Big example:

@(mint "reach"
       #:defines '(("isHand") ("winner"))
       #:scope "tut-7/index.rsh"
       (file->string
        (build-path here "../../examples/tut-7/index.rsh")))

Big example two:

@(mint "reach"
       #:scope "tut-7/index.rsh"
       (file->string
        (build-path here "../../examples/tut-7/index.rsh")))

Short example:

This is some inline text that references some terms @(mint "reach" #:inline? #t #:scope "tut-7/index.rsh" "isHand") and @(mint "reach" #:inline? #t #:scope "tut-7/index.rsh" "winner") and @(mint "reach" #:inline? #t #:scope "tut-7/index.rsh" "isOutcome").
