| sel · (s · X) · (cons · Y · U) | ⇒ | sel · X · (activate · U)
|
| sel · 0 · (cons · V · W) | ⇒ | V
|
| first · 0 · P | ⇒ | nil
|
| first · (s · X1) · (cons · Y1 · U1) | ⇒ | cons · Y1 · (nxxfirst · X1 · (activate · U1))
|
| from · V1 | ⇒ | cons · V1 · (nxxfrom · (nxxs · V1))
|
| sel1 · (s · W1) · (cons · P1 · X2) | ⇒ | sel1 · W1 · (activate · X2)
|
| sel1 · 0 · (cons · Y2 · U2) | ⇒ | quote · Y2
|
| first1 · 0 · V2 | ⇒ | nil1
|
| first1 · (s · W2) · (cons · P2 · X3) | ⇒ | cons1 · (quote · P2) · (first1 · W2 · (activate · X3))
|
| quote · nxx0 | ⇒ | 01
|
| quote1 · (nxxcons · Y3 · U3) | ⇒ | cons1 · (quote · (activate · Y3)) · (quote1 · (activate · U3))
|
| quote1 · nxxnil | ⇒ | nil1
|
| quote · (nxxs · V3) | ⇒ | s1 · (quote · (activate · V3))
|
| quote · (nxxsel · W3 · P3) | ⇒ | sel1 · (activate · W3) · (activate · P3)
|
| quote1 · (nxxfirst · X4 · Y4) | ⇒ | first1 · (activate · X4) · (activate · Y4)
|
| unquote · 01 | ⇒ | 0
|
| unquote · (s1 · U4) | ⇒ | s · (unquote · U4)
|
| unquote1 · nil1 | ⇒ | nil
|
| unquote1 · (cons1 · V4 · W4) | ⇒ | fcons · (unquote · V4) · (unquote1 · W4)
|
| fcons · P4 · X5 | ⇒ | cons · P4 · X5
|
| first · Y5 · U5 | ⇒ | nxxfirst · Y5 · U5
|
| from · V5 | ⇒ | nxxfrom · V5
|
| s · W5 | ⇒ | nxxs · W5
|
| 0 | ⇒ | nxx0
|
| cons · P5 · X6 | ⇒ | nxxcons · P5 · X6
|
| nil | ⇒ | nxxnil
|
| sel · Y6 · U6 | ⇒ | nxxsel · Y6 · U6
|
| activate · (nxxfirst · V6 · W6) | ⇒ | first · (activate · V6) · (activate · W6)
|
| activate · (nxxfrom · P6) | ⇒ | from · (activate · P6)
|
| activate · (nxxs · X7) | ⇒ | s · (activate · X7)
|
| activate · nxx0 | ⇒ | 0
|
| activate · (nxxcons · Y7 · U7) | ⇒ | cons · (activate · Y7) · U7
|
| activate · nxxnil | ⇒ | nil
|
| activate · (nxxsel · V7 · W7) | ⇒ | sel · (activate · V7) · (activate · W7)
|
| activate · P7 | ⇒ | P7
|
| map · (λ%X:A.F8 · %X) · nil | ⇒ | nil
|
| app · (λ%Y:A.Z8 · %Y) · U8 | ⇒ | Z8 · U8
|