Demo

The JSON 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.

json

value

object

array

string

character

space!# … [] … U+10FFFFescape

escape

\"/\bfnrtuhexhexhexhex

hex

0 … 9A … Fa … f

number

-uint.0 … 9Ee+-0 … 9

uint

01 … 90 … 9

ws

\t\n\rspace

Emergent Testing

Idle. Press Run to start the suite.

  • ./proof.f.mjs