Unexpected behaviour: equality of term arguments#25

toinehartman wants to merge 2 commits into

metaborg:mastermetaborg/stratego:masterfrom

toinehartman:term-arg-bugtoinehartman/stratego:term-arg-bugCopy head branch name to clipboard