Question: Using Haskell programming: Define the following operations using Peano arithmetic
difference a-b assuming a >= b
comparison (<, >)
power
Write five tests for each using numbers larger than 100 and verify using natZint and intZnat that your numbers work the same way as the usual natural numbers.
Provide answer in detail: no word count.