[FEATURE] CN language reference

[thatplguy]

Summary

Create a reference document that lists the syntax and (informal) semantics of CN specifications.

Feature

Create a language reference that shows how to use each bit of syntax in the CN language, broken into logical groupings for quick reference.

See

• an existing but out of date language reference and grammar
• the cerberus C parser

Acceptance Criteria

Language reference written (or revised), publicly available, and with CI integration to ensure the code samples continue to parse with the latest version of CN.

Do

• language reference written
• language reference published
• CI integration

[bcpierce00]

I wonder if we might want to include pointers into the sections of the tutorial where things are explained in more detail, in addition to quick examples in-line...

[kiniry]

I personally find that having an EBNF specification of the/any specification language very useful wrt reminding myself of its (loose) concrete syntax, and is also very useful when writing preludes for LLMs.