Remove duplicate elements: Difference between revisions
→{{header|CafeOBJ}}
Line 999:
Idempotency is applied at rightmost inner brackets:
We get rewrite
<lang> (1 ((1 2) 1)) </lang>
Line 1,006:
Idempotency is applied at inner brackets ''(1 2) ''.
We get rewrite
<lang>(1 (2 1))</lang>
|