Remove duplicate elements: Difference between revisions

The evaluation automatically uses right associativity. So starting with:

 

 

The system places appropriate brackets on the entire expression:

 

 

Idempotency is applied at rightmost inner brackets:

We get rewrite ''(1 1) -> 1''. The term is now:

 

Any further occurrence of 1 will be removed.

We get rewrite ''(1 2) -> 2 ''. The term is now:

 

 

By already established idempotency we finally get

 

 

=={{header|Ceylon}}==