Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
rl:ebnf [2019/01/09 15:04]
reladm ↷ Page moved from eli:ebnf to rl:ebnf
rl:ebnf [2019/11/04 16:30] (current)
reladm
Line 26: Line 26:
         .         .
                  
-map = term "=>" term .+map = term '=>' term .
  
 product = term "*" term . product = term "*" term .
Line 32: Line 32:
 variable = "$" symbol [ "[" term "]" ] . variable = "$" symbol [ "[" term "]" ] .
                  
-lambda = term "->" term +lambda = term "->" term 
-       | term "->?" term+       | term "->>" term
        .        .