diff --git a/pages/docs/index.md b/pages/docs/index.md index b91d138abf54fc7974d71b463fac8a91d6ea846e..1686bf45b1bb063b4ba8b26f87439fc6e1725b06 100644 --- a/pages/docs/index.md +++ b/pages/docs/index.md @@ -43,6 +43,7 @@ There are some implementation details developers must consider: ParameterObject : ParameterOb ::= <Name> <In> ...; ``` + - Most objects can be extended with `Extension` containing unfixed name and values. In JastAdd, this is also implemented in a tuple (AST-Node) `Extension ::= <Key> <Value:Object>;` ## Fuzzing in RAGO