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