prove the following theorem in haskell programming: THEORY Ex 5 Q 2 IMPORT - THEORY Equality IMPORT
Fantastic news! We've Found the answer you've been seeking!
Question:
prove the following theorem in haskell programming:
THEORY ExQ
IMPORTTHEORY Equality
IMPORTTHEORY Boolean
IMPORTTHEORY Arithmetic
IMPORTTHEORY List
IMPORTHASKELL List
IMPORTHASKELL Ex
THEOREM exq
frec
END ReduceAll
QED exq
the following is a piece of code given in the main that cannot be edited:
module Ex where
no code for Q
for Q:
frec x if x then else x frec x
for Q:
bonus
bonus x:xs x bonus xs
for Q:
casef x
x x
x x
prove the theorem by editing 'STRATEGY ReduceAll' ONLY
Related Book For
Posted Date: