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