| changeset 23 | 768851ac930b |
| parent 22 | fff2b8d356a5 |
| child 24 | 789ade899a53 |
| 22:fff2b8d356a5 | 23:768851ac930b |
|---|---|
17 "count_list x [] = 0" | |
17 "count_list x [] = 0" | |
18 "count_list x (y#xs) = ( |
18 "count_list x (y#xs) = ( |
19 if x = y then Suc(count_list x xs) |
19 if x = y then Suc(count_list x xs) |
20 else count_list x xs)" |
20 else count_list x xs)" |
21 |
21 |
22 value "count_list 2 [1,2,1,1]" |
22 value "count_list 1 [1,1,1]" |
23 value "count_list 1 [2,2,2]" |
|
24 value "count_list 2 [2,2,1]" |
|
23 |
25 |
24 |
26 |
25 |
27 |
26 |
28 |
27 |
29 |