blob: e5d7748d0f0b4fbc4f0d16c4d56e5b13151859fa (
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
|
[ ScanFunctionSymbol
[ Just
( Command "apply" )
, Just InvisibleBraceL
, Nothing
, Just InvisibleBraceR
, Just InvisibleBraceL
, Nothing
, Just InvisibleBraceR
]
( Marker "apply" )
, ScanFunctionSymbol
[ Just
( Command "dom" )
, Just InvisibleBraceL
, Nothing
, Just InvisibleBraceR
]
( Marker "dom" )
, ScanAdj
[ Just
( Word "right-unique" )
]
( Marker "rightunique" )
, ScanNoun
[ Just
( Word "relation" )
]
( Marker "relation" )
]
|
