working on church numerals
.
church numerals arithmetic
Merge branch 'master' of github.com:ccotter/PL_book
finished church numerals arithmetic