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/11/04 16:30]
reladm
rl:ebnf [2020/11/16 15:26] (current)
sprowell
Line 33: Line 33:
                  
 lambda = term "->" term lambda = term "->" term
-       | term "->>" term+       | term "->" term
        .        .
                
Line 47: Line 47:
        .        .
  
-} </ebnf>+ </ebnf>