6.001/Recitation 4
Rob Speer
Contents |
Leftover problems with Church numerals
Hard: Write (church-dec m n), which decrements a Church numeral by 1. (Are there negative Church numerals? What happens if you decrement x0?)
Write (church-sub m n), which returns m - n as a Church numeral, if m >= n.
