diff --git a/Chapter10/Exercises/ex_10_2.idr b/Chapter10/Exercises/ex_10_2.idr index dd224f1..6e72613 100644 --- a/Chapter10/Exercises/ex_10_2.idr +++ b/Chapter10/Exercises/ex_10_2.idr @@ -43,5 +43,5 @@ palindrome input with (vList input) palindrome [] | VNil = True palindrome [x] | VOne = True palindrome (x :: (xs ++ [y])) | (VCons rec) - = x == y && palindrome xs + = x == y && palindrome xs | rec