Don't like ads? PRO users don't see any ads ;-)
Guest

Untitled

By: a guest on Sep 2nd, 2012  |  syntax: None  |  size: 0.27 KB  |  hits: 11  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. expr : primitive | <'+', expr, expr> | <'-', expr, expr>
  2. primitive : NUMBER
  3.  
  4. equal(e1:NUMBER, e2:NUMBER) ->
  5.         e1 == e2
  6. equal(<'+', e1l, e1r>, <'+', erl, e2r>) ->
  7.         equal(e1l, e2l) && equal(e1r, e2r)
  8. equal(<'-', e1l, e1r>, <'-', erl, e2r>) ->
  9.         equal(e1l, e2l) && equal(e1r, e2r)