Lab1: Exercise 8

[BertLisser]

The remark if the puzzle is wel-designed is not an assumption.
So the function guilty must return a list of boys.
A proposal to rewrite the code is:

evaluateAll :: [Boy] -> [[Bool]] -> [(Boy, [Bool])]
evaluateAll [] y = []
evaluateAll (x:xs) [] = evaluateAll xs $ nub $ permutations testimonyValidities
evaluateAll (x:xs) (y:ys) = if evaluateSentences x y
                            then [(x, y)] ++(evaluateAll (x:xs) ys)
                            else evaluateAll ([x]++xs) ys

-- guilty finds the boy who's guilty.
guilty :: [Boy]
guilty = [fst x| x<-evaluateAll boys $ permutations testimonyValidities]

Wel done!

[DylanBartels]

Thank you for the feedback Bert