inf grammar (EBNF) formal grammar for the pure register of inf. semantics in [language](/neural/inf/specs/language). productions marked `[trident]` lower directly to a trident grammar production; the pure subset is a sub-grammar of Trident. notes `:bounded N` is the explicit recursion bound. it…

computation digraphs [← specification index](/neural/rune/specs/readme) digraphs compose two characters: the first (family) carries the atomic semantic; the second (variant) determines the shape within that family. variant axis (second character) | char | name | shape within family |…

📐 Grammar (EBNF) [← Language Reference](/neural/trident/reference/language) 🔗 See Also [Language Reference](/neural/trident/reference/language) — Types, operators, builtins, grammar, sponge, Merkle, extension field, proof composition [Standard Library](/neural/trident/reference/stdlib) — `std.*`…