blob: c49d8f9586d342e62ce4f5b0757071446293307e (
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
[ ScanFunctionSymbol
( TokenCons ParenL
( HoleCons
( TokenCons
( Symbol "," )
( HoleCons ( TokenCons ParenR End ) )
)
)
)
( Marker "example_pair" )
, ScanFunctionSymbol
( TokenCons
( Command "apply" )
( TokenCons InvisibleBraceL
( HoleCons
( TokenCons InvisibleBraceR
( TokenCons InvisibleBraceL
( HoleCons ( TokenCons InvisibleBraceR End ) )
)
)
)
)
)
( Marker "apply" )
, ScanFunctionSymbol
( TokenCons
( Command "dom" )
( TokenCons InvisibleBraceL
( HoleCons ( TokenCons InvisibleBraceR End ) )
)
)
( Marker "dom" )
, ScanAdj
[ Just
( Word "right-unique" )
]
( Marker "rightunique" )
, ScanNoun
[ Just
( Word "relation" )
]
( Marker "relation" )
]
|
