Skip to content

Latest commit

 

History

History
13 lines (7 loc) · 353 Bytes

Chapter12.md

File metadata and controls

13 lines (7 loc) · 353 Bytes

Chapter 12 Exercises

Exercise 1

Define a function called sumOfTwoEvensIsEven that states and proves that the sum of two Even Nats is Even.

Answer

Exercise 2

Define a function called sumOfTwoOddsIsEven that states and proves that the sum of two Odd Nats is Even.

Answer