{"size": 497, "ext": "scrbl", "max_stars_repo_path": "scribblings/pollen-tlaplus.scrbl", "max_stars_repo_name": "ausimian/pollen-tlaplus", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "scribblings/pollen-tlaplus.scrbl", "max_issues_repo_name": "ausimian/pollen-tlaplus", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "scribblings/pollen-tlaplus.scrbl", "max_forks_repo_name": "ausimian/pollen-tlaplus", "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": 33.1333333333, "max_line_length": 196, "alphanum_fraction": 0.7122736419}
#lang scribble/manual
@require[@for-label[pollen-tlaplus
                    racket/base]]

@title{pollen-tlaplus}
@author[(author+email "Nick Gunn" "nick@ausimian.net")]

@defmodule[pollen-tlaplus]

A set of function to turn ASCII-formatted blocks of @link["https://lamport.azurewebsites.net/tla/tla.html"]{TLA⁺} into @link["https://docs.racket-lang.org/pollen/"]{@italic{Pollen}} x-expressions.

@defproc[
(tla [elem any/c] ...) any/c]
Produces a pretty-printed rendering of the supplied input.
