...

where X , Y , and Z are arbitrary If forms. This set of rules is Church-Rosser, so the rules can safely be applied using simple structural recursion.

Points Dsitribution

• convert-to-if (10%)
• normalize (20%)
• eval (20%)
• convert-to-bool (10%)
• reduce (40%)