Due Wednesday February 22 at noon.
From Chapter 8:
An alternative to defining a function (i.e. infix operator)
(/=:) for “truncating parallel composition,” is to redefine the
Music data type to have an extra infix constructor — say,
(:=/) (note that
(:=/) begins with a colon, whereas
(/=:) does not). Write out the one additional case in the case expression in Figure 8.1 so that
(:=/) as a truncating parallel composition. You may handle infinite arguments to whatever degree of sophistication that you wish.
From Chapter 17:
Do Exercises 17.1 through 17.10. Although these exercises do not require Haskell programming, I encourage you to use Haskell as your “calculator” (remember the motto, “proof by calculation”). One function you will probably find useful for a number of these exercises is Haskell’s