From 0844542257c33a93b2d409ddf083e09e1953326f Mon Sep 17 00:00:00 2001 From: Alex Gryzlov Date: Sun, 14 May 2017 23:59:26 +0300 Subject: [PATCH] use recursive view in exercise 10.2.4 --- Chapter10/Exercises/ex_10_2.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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