How do you define conditionals?
Special form it.
Evaluate the predicate only.
If ok, evaluate the rest.
Contraction
true ? E1 : E2 => E1
false ? E1 : E2 => E2
Special form it.
Evaluate the predicate only.
If ok, evaluate the rest.
true ? E1 : E2 => E1
false ? E1 : E2 => E2