Content deleted Content added
m Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags |
→Sample code: fix typo |
||
Line 262:
delete x E = E
delete x (N E x E) = E
delete x (N E x r) = N E (minel r) (
delete x (N l x r) = N (
delete x (N l w r) = N (
</syntaxhighlight>
|