{"size": 1234, "ext": "scrbl", "max_stars_repo_path": "scribble-minted-lib/examples/meow.scrbl", "max_stars_repo_name": "wilbowma/scribble-minted", "max_stars_repo_stars_event_min_datetime": "2019-02-16T06:16:34.000Z", "max_stars_repo_stars_event_max_datetime": "2021-03-30T13:39:10.000Z", "max_issues_repo_path": "scribble-minted-lib/examples/meow.scrbl", "max_issues_repo_name": "wilbowma/scribble-minted", "max_issues_repo_issues_event_min_datetime": "2019-02-26T04:22:53.000Z", "max_issues_repo_issues_event_max_datetime": "2021-04-03T06:28:41.000Z", "max_forks_repo_path": "scribble-minted-lib/examples/meow.scrbl", "max_forks_repo_name": "wilbowma/scribble-minted", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": 15, "max_issues_count": 6, "max_forks_count": null, "avg_line_length": 22.0357142857, "max_line_length": 74, "alphanum_fraction": 0.6102106969}
#lang scribble/manual

@(require scribble/minted)

@title{Ohh pretty}

Here's some Coq code in the default style
@minted["coq" #:options '((linenos . true))]{
Inductive Vec {A : Set} : nat -> Set :=
| nil : Vec 0
| cons : forall {n:nat}, A -> Vec n -> Vec (1 + n).
}

And in the colorful style
@minted["coq" #:options '((linenos . true) (style . colorful))]{
Inductive Vec {A : Set} : nat -> Set :=
| nil : Vec 0
| cons : forall {n:nat}, A -> Vec n -> Vec (1 + n).
}

This is a Coq expression @mintinline["coq"]{cons 0 nil}.


@; These aren't support in latex/pdf backend
@;Here's some Racket using the Scribbleesque style
@;@minted["racket" #:options '((style . scribbleesque))]{
@;(begin
@;  (let loop ([n 0])
@;    (displayln "Hello world")
@;    (loop (add1 n))))
@;}

@;with line numbers
@;@minted["racket" #:options '((linenos . true) (style . scribbleesque))]{
@;(begin
@;(let loop ([n 0])
@;(displayln "Hello world")
@;(loop (add1 n))))
@;}

A colorful Racket
@minted["racket" #:options '((style . colorful))]{
(begin
  (let loop ([n 0])
    (displayln "Hello world")
    (loop (add1 n))))
}

A @racket[racketblock] for comparison
@racketblock[
(begin
  (let loop ([n 0])
    (displayln "Hello world")
    (loop (add1 n))))
]
