• HW1 10 points total. Exercise at the end of Ch.1[L].
• HW2 (PR1) Exercise at the end of Ch.3[L]. 2 points per part. 20 points total. 1 point off for extra predicates (beyond acted_in/2, directed/2, and released/2).
• HW3 (PR2) Exercise at the end of Ch.4[L]. The exercise asks for "more than" four generations, but four generations are sufficient. 2 points for each part; include examples of use! 20 points total
• HW4 (PR3) Exercises 2,3,4 at the end of Ch.5[L]. 5 points for each of the exercises at the end of ch.5 (including 1 for each example of use). You do not need to explain the choice of ordering of constraints in exercise 3. Total: 15 points.
• HW5 (PR4) Exercise 6 at the end of Ch.7[L]. 3 points for each of the five parts. 1 point will be taken off if the length of a list is explicitly computed, e.g. by using length/2. Total: 15 points.
• HW6 Exercises 1-4 at the end of Ch.1[H]. 2 points for each of the five exercises. Total: 8 points.
• HW7 (PR5) Exercises at the end of Ch.2[H]. 3 points for each of the five exercises. Total: 15 points.
• HW8 (PR6): 14 points total: Exercises at the end of chapter 3 [H]. 5 points for 1 (one per part), 6 points for 2 (one per part), 2 points for 3 (evidence of use of Hugs or GHC should be given),
• HW9 (PR7): 7 points total (all exercises from [H]): 3 points for ex.4.1, 4 points for ex.4.2,
• HW10 (PR8): 12 points total (all exercises from [H]): 3 points for ex.5.3, 3 points for ex.5.4, 6 points for ex.5.7. Up to 3 points removed for missing examples of use.
• HW11 (PR9): 26 points total (all exercises from [H]): 3 points for ex.6.1 (evaluation by hand required), 3 points for ex.6.2 (evaluatin by hand required), 10 points for ex.6.3 (Haskell run required), 4 points for ex.6.4 (Haskell run required), 6 points for ex.6.5 (Please follow the hint) (Haskell run required), Up to 3 points taken away for missing examples of use (a.k.a. Haskell runs)
• HW12 (PR10) (Ch.7 [H]): 15 points total; 10 points for ex.8, 5 points for ex.9.
• HW13 (PR11) (Ch.11 [H]): 10 points total. 5 points for ex.1, 5 points for the first part of ex.4.