equal
deleted
inserted
replaced
13 datatype |
13 datatype |
14 "list(A)" = Nil | Cons ("a:A", "l: list(A)") |
14 "list(A)" = Nil | Cons ("a:A", "l: list(A)") |
15 |
15 |
16 |
16 |
17 syntax |
17 syntax |
18 "[]" :: i ("[]") |
18 "_Nil" :: i ("[]") |
19 "_List" :: "is => i" ("[(_)]") |
19 "_List" :: "is => i" ("[(_)]") |
20 |
20 |
21 translations |
21 translations |
22 "[x, xs]" == "CONST Cons(x, [xs])" |
22 "[x, xs]" == "CONST Cons(x, [xs])" |
23 "[x]" == "CONST Cons(x, [])" |
23 "[x]" == "CONST Cons(x, [])" |
24 "[]" == "CONST Nil" |
24 "[]" == "CONST Nil" |