Skip to content

Instantly share code, notes, and snippets.

@siritori

siritori/gist:2757295

Created May 20, 2012 08:22
Show Gist options
  • Save siritori/2757295 to your computer and use it in GitHub Desktop.
Save siritori/2757295 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
expr : primitive | <'+', expr, expr> | <'-', expr, expr>
primitive : NUMBER
equal(e1:NUMBER, e2:NUMBER) ->
e1 == e2
equal(<'+', e1l, e1r>, <'+', erl, e2r>) ->
equal(e1l, e2l) && equal(e1r, e2r)
equal(<'-', e1l, e1r>, <'-', erl, e2r>) ->
equal(e1l, e2l) && equal(e1r, e2r)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment