| minus(X, 0) | ⇒ | X
|
| minus(s(Y), s(U)) | ⇒ | minus(Y, U)
|
| quot(0, s(V)) | ⇒ | 0
|
| quot(s(W), s(P)) | ⇒ | s(quot(minus(W, P), s(P)))
|
| le(0, X1) | ⇒ | true
|
| le(s(Y1), 0) | ⇒ | false
|
| le(s(U1), s(V1)) | ⇒ | le(U1, V1)
|
| app(nil, W1) | ⇒ | W1
|
| app(add(P1, X2), Y2) | ⇒ | add(P1, app(X2, Y2))
|
| low(U2, nil) | ⇒ | nil
|
| low(W2, add(V2, P2)) | ⇒ | if!6220low(le(V2, W2), W2, add(V2, P2))
|
| if!6220low(true, Y3, add(X3, U3)) | ⇒ | add(X3, low(Y3, U3))
|
| if!6220low(false, W3, add(V3, P3)) | ⇒ | low(W3, P3)
|
| high(X4, nil) | ⇒ | nil
|
| high(U4, add(Y4, V4)) | ⇒ | if!6220high(le(Y4, U4), U4, add(Y4, V4))
|
| if!6220high(true, P4, add(W4, X5)) | ⇒ | high(P4, X5)
|
| if!6220high(false, U5, add(Y5, V5)) | ⇒ | add(Y5, high(U5, V5))
|
| quicksort(nil) | ⇒ | nil
|
| quicksort(add(W5, P5)) | ⇒ | app(quicksort(low(W5, P5)), add(W5, quicksort(high(W5, P5))))
|
| map(F6, nil) | ⇒ | nil
|
| map(Z6, add(U6, V6)) | ⇒ | add(Z6 · U6, map(Z6, V6))
|
| filter(I6, nil) | ⇒ | nil
|
| filter(J6, add(X7, Y7)) | ⇒ | filter2(J6 · X7, J6, X7, Y7)
|
| filter2(true, G7, V7, W7) | ⇒ | add(V7, filter(G7, W7))
|
| filter2(false, J7, X8, Y8) | ⇒ | filter(J7, Y8)
|