blob: f46592b55e64303edde79a76f452e3abfafd6795 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
concrete TimeFlies of TimeFliesAbs = {
lin
s1 x y = {s = x.s ++ y.s};
vp1 x = {s = x.s};
vp2 x y = {s = x.s ++ y.s};
vp3 x y = {s = x.s ++ y.s};
np1 x = {s = x.s};
np2 x y = {s = x.s ++ y.s};
np3 x y = {s = x.s ++ y.s};
pp1 x y = {s = x.s ++ y.s};
flyV = {s = "flies"};
timeV = {s = "time"};
likeV = {s = "like"};
flyN = {s = "flies"};
timeN = {s = "time"};
arrowN = {s = "arrow"};
anD = {s = "an"};
timeD = {s = "time"};
likeP = {s = "like"};
}
|
