Demo

The Markdown inline grammar of this module, drawn from its rules. Follow a track from left to right; a pill is text the input holds, and a box is another diagram — select it to go there.

entry

text

space … )+ … Z]^_a … U+10FFFF

span

code

``doubleBody! … _a … U+10FFFFspace`

doubleBody

space … _a … U+10FFFF``doubleBody

emphasis

**space … )+ … Z]^_a … U+10FFFFcodespace … )+ … Z]^_a … U+10FFFF[space … )+ … Z^_a … U+10FFFFcodespace … )+ … Z^_a … U+10FFFF](! … '* … ;= … [] … U+10FFFF(! … '* … [] … U+10FFFF)! … '* … [] … U+10FFFF(! … '* … [] … U+10FFFF))space … )+ … Z]^_a … U+10FFFFcodespace … )+ … Z]^_a … U+10FFFF[space … )+ … Z^_a … U+10FFFFcodespace … )+ … Z^_a … U+10FFFF](! … '* … ;= … [] … U+10FFFF(! … '* … [] … U+10FFFF)! … '* … [] … U+10FFFF(! … '* … [] … U+10FFFF))space … )+ … Z]^_a … U+10FFFF**space … )+ … Z]^_a … U+10FFFFcodespace … )+ … Z]^_a … U+10FFFF[space … )+ … Z^_a … U+10FFFFcodespace … )+ … Z^_a … U+10FFFF](! … '* … ;= … [] … U+10FFFF(! … '* … [] … U+10FFFF)! … '* … [] … U+10FFFF(! … '* … [] … U+10FFFF))space … )+ … Z]^_a … U+10FFFFcodespace … )+ … Z]^_a … U+10FFFF[space … )+ … Z^_a … U+10FFFFcodespace … )+ … Z^_a … U+10FFFF](! … '* … ;= … [] … U+10FFFF(! … '* … [] … U+10FFFF)! … '* … [] … U+10FFFF(! … '* … [] … U+10FFFF))space … )+ … Z]^_a … U+10FFFF*

Emergent Testing

Idle. Press Run to start the suite.

  • ./proof.f.mjs