| changeset 42 | 87f6e8b93221 |
| parent 40 | ac7b7003f177 |
| child 48 | 21291189b51e |
| 41:054ce38225b9 | 42:87f6e8b93221 |
|---|---|
56 translations |
56 translations |
57 "[x, xs]" == "Cons(x, [xs])" |
57 "[x, xs]" == "Cons(x, [xs])" |
58 "[x]" == "Cons(x, [])" |
58 "[x]" == "Cons(x, [])" |
59 "[]" == "Nil" |
59 "[]" == "Nil" |
60 |
60 |
61 "case xs of Nil => a | Cons(y,ys) => b" == "list_case(xs,a,%y ys.b)" |
|
62 |
|
61 "[x:xs . P]" == "filter(%x.P,xs)" |
63 "[x:xs . P]" == "filter(%x.P,xs)" |
62 "Alls x:xs.P" == "list_all(%x.P,xs)" |
64 "Alls x:xs.P" == "list_all(%x.P,xs)" |
63 |
65 |
64 rules |
66 rules |
65 |
67 |