SHOW:
|
|
- or go back to the newest paste.
| 1 | Si+1 = {true, false, 0}
| |
| 2 | - | È {succ t1, pred t1, iszero t1 | t1 ∈ Si}
|
| 2 | + | Si+2 = {succ t1, pred t1, iszero t1 | t1 ∈ Si}
|
| 3 | - | È {if t1 then t2 else t3 | t1, t2, t3 ∈ Si}. |
| 3 | + | Si+3 = {if t1 then t2 else t3 | t1, t2, t3 ∈ Si}. |
