Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| records [2021/10/28 18:13] – sprowell | records [2021/10/28 18:27] (current) – Added grammar for simple rules and binds. sprowell | ||
|---|---|---|---|
| Line 11: | Line 11: | ||
| Note that the terms in a record can be anything, including other records. | Note that the terms in a record can be anything, including other records. | ||
| + | |||
| + | < | ||
| + | record = " | ||
| + | </ | ||
| ===== Binds ===== | ===== Binds ===== | ||
| Line 35: | Line 39: | ||
| { $x => 21 } . ( $x -> 17 ) | { $x => 21 } . ( $x -> 17 ) | ||
| --> $x -> 17 | --> $x -> 17 | ||
| + | </ | ||
| + | |||
| + | < | ||
| + | bind = " | ||
| </ | </ | ||
| Line 56: | Line 64: | ||
| } . %(" | } . %(" | ||
| --> " | --> " | ||
| + | </ | ||
| + | |||
| + | < | ||
| + | simple_rule = " | ||
| </ | </ | ||