Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| rl:ebnf [2019/01/09 15:04] – ↷ Page moved from eli:ebnf to rl:ebnf reladm | rl:ebnf [2020/11/16 15:26] (current) – sprowell | ||
|---|---|---|---|
| Line 26: | Line 26: | ||
| . | . | ||
| | | ||
| - | map = term "=>" | + | map = term '=& |
| product = term " | product = term " | ||
| Line 32: | Line 32: | ||
| variable = " | variable = " | ||
| | | ||
| - | lambda = term "->" term | + | lambda = term "->" term |
| - | | term "->?" term | + | | term "->" term |
| . | . | ||
| Line 47: | Line 47: | ||
| . | . | ||
| - | } </ | + | } </ |