On 02/06/2013 08:57 AM, Jacob Carlborg wrote:
On 2013-02-05 12:12, Timon Gehr wrote:Eg: if ast == <[2*x]>, then the result will be <[x+x]> if ast == <[y+2]>, then the result will be <[2+y]>How does the matching syntax work, like regular expression?
Just like pattern matching usually works. '?a' identifiers are matched to subterms. (This is necessary because 'a' will match a symbol.)
