diff options
Diffstat (limited to '')
| -rw-r--r-- | Gentle_introduction_Inpla.md | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index c8bfcb2..df82415 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -17,10 +17,12 @@ * [Commands](#commands) * [Execution Options](#execution-options) * [Advanced topics](#advanced-topics) - - [Reuse annotations](#reuse-annotations) - - [built-in agents more](#built-in-agents-more) - - [Map and reduce functions (with Abbreviation notation `%`)](#map-and-reduce-functions) - - [Weak reduction strategy](#weak-reduction-strategy) + * [Wildcard agent in rule definitions](#Wildcard-agent-in-rule-definitions) + * [Reuse annotations](#reuse-annotations) + * [built-in agents more](#built-in-agents-more) + * [Map and reduce functions (with Abbreviation notation `%`)](#map-and-reduce-functions) + * [Weak reduction strategy](#weak-reduction-strategy) + |