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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
|
# Headerless
! % 1;๐ฉ
! % ;
! % {๐จ;2+๐ฉ}
! % {5;8}
! % 3{๐;-๐}
! % {๐ฉ;{3-๐ฉ}๐จ;๐ฉ}
! % {โ๐ฉ;}
! % {aโ๐ฉ;a-๐จ}
6 % {2ร๐ฉ;๐จรท๐ฉ}3
2 % 1{๐ฉ;2}3
4 % 12{2ร๐ฉ;,๐จรท๐ฉ}3
7 % {dโ๐ฉร2,1+d,;!๐จ}3
3 % 3{aโ๐ฉโ;โโaโ๐จ}5
6 % aโ2โ9{๐ค,aโ5,a;aร๐ฉ}3
! % ( {aโ๐ฉ;aโ๐จ}5).a
4 % (4{aโ๐ฉ;aโ๐จ}5).a
2 % {โจbโฉโ๐ฉโb;๐จ,!0}{aโ1+bโ2}
9 % ร{๐ฉ๐ฝ๐ฉ;๐ฝ๐จ}3
1 % 9ร{๐ฉ๐พ๐ฉ;๐,๐ฝ๐จ}!3
4 % รห{๐ฝ๐ฉ;๐ฉ}2
3 % 6-{๐ฝ๐ฉ;๐จ๐พ๐ฉ}รท2
# Overall structure
! % :
! % s:3
! % {๐ฉ;๐3:2}
! % {๐จ๐๐ฉ;Fn:๐ฉ-1}
! % {๐ฉ;๐๐ฉ:-๐ฉ;๐จ}
! % {๐๐ฉ:-๐ฉ;๐จ;๐จ}
! % {๐๐ฉ:-๐ฉ;๐ฉ;1+๐ฉ;2+๐ฉ}
! % {๐ฉ; ;๐จ}
! % {๐๐ฉ:๐จ}
! % {F:6;v:4}
! % {F:๐ฉ;v:4}
! % {a:1;aโ2}
! % {_๐ฃ:รท3;4โ5}
! % {_๐ฃ:๐พ๐จ}
! % {a o _r b:4;o _r:6}
! % {aโฟ๐ฉ:a+1}
# Labels
5 % -{imm:aโ4,a-9}
3 % aโ1โa+{v:aโ2โbโ3โa}
! % {l:1+l}
! % {๐ค:2+2}
! % {v:๐ฉ}
! % {{v:๐ฉ}}0
2 % {R:1(โฃRโ(ยฌ๐จโฃ0)+)๐ฉ}0
1 % {F:๐คโกf}ห@
1 % Fโ{F:!0},1
0 % {F:๐คโฉโ2โ=f}ยฏ1
1 % {๐:๐คโฉโ2โ=๐ค}ยฏ1
1 % {๐:-๐ฉ}ยฏ1
! % {F:_๐ฃ}
! % {๐:๐ฝ}
! % {F:๐พ}
! % {๐ฝ:-๐ฉ}ยฏ1
1 % {Fn:๐จ-๐ฉ}ยฏ1
4 % 3{Fn:๐จ-๐ฉ}ยฏ1
4 % ร{_m:๐ฝห๐ฉ}2
3 % 12{_๐ฃ_:๐รท๐}4
3 % ยฏ3{_m_:-๐}2
! % {_r:๐พ}
# Syntax
! % {;2โ๐ฉ}
! % {:{โห๐ฉ}ห๐ฉ}
! % {-๐ฉ:๐ฉ}
! % {F๐ฝ: รท๐}
! % {๐จ๐,:1,}
! % {_๐ฃ๐:0}
! % {_m๐:1}
! % {ยท_๐ฃ:-1}
! % {๐_๐ฃ_๐:๐จโฟ๐ฉ}
! % {๐_๐ฃ_๐:๐ฃ}
! % {๐_๐ฃ_๐:@}
! % {,๐จ๐๐๐ฉ:{๐ฉ+1}๐จ}
! % {๐จ๐๐ฉ๐ฉ:๐ฉ}
! % {๐จ๐จ๐๐ฉ:๐จ}
! % {๐จ๐ฃ๐ฉ:๐ฉ}
! % โจ@,{๐จโฟ๐ฉ๐๐ฉ:@}โฉ
! % {๐:๐:๐ฉ}
! % {๐จ๐๐ฉ::@}
! % {๐0 1:๐ฉ}
! % {๐a:๐ฉ โ ๐b:๐ฉ}
! % {๐โจaโbโฉ:๐ฉ}
! % {๐ฝ_๐ฃ_1:1;๐ฝ_๐ฃ_๐พ:2}
! % {โจa,bโฉ_r:aโฟbโธโฅ;a _r ๐ฉ: aโฟa _r ๐ฉ}
! % {๐(A b):b}
! % {๐(w(x))โฟy:w}
! % {โจ(a)(_b)โฉ_op:b}
# Headers
5 % {๐จ๐๐ฉ:1+๐ฉ}4
4 % {๐a:aร๐ฉ}2
! % {A a:a}2
! % {F๐ฉ:fโ๐ฉ}
2 % {๐จFn๐ฉ:1(โฃFnโ(ยฌ๐จโฃ0)+)๐ฉ}0
! % {w๐๐ฉ:๐ฉ}3
3 % {{๐จS๐ฉ:1+๐ฉ}}{๐ฝ}2
4 % 1{a B c:c Bโa 2รa+c}0
5 % {๐n,:n+โฉ2,๐ฉ+โฉ1,n+๐ฉ}1
8 % 4{๐ฝ_m:2ร๐}
6 % รห{๐ฝ_m๐ฉ:๐ฝโธ-๐ฉ}3
8 % 1{๐_m:5{๐ฉ_m}โ>2ร๐}
2 % 0.5 {๐_c_๐พ,:๐พ๐,} รท
3 % 6{๐ฝ _๐ฃ_ G:๐รท๐}2
1 % {-รท}โก1-{๐จ๐_๐ฃ_๐๐ฉ:๐ฝ๐พ}รท2
! % 1-{๐_๐ฃ_๐๐ฉ:๐ฝ๐พ}รท2
# Headers and bodies
1 % {๐๐ฉ:0;๐จ๐๐ฉ:1}{(๐ฝ5)<(4๐ฝ5)}
3 % {๐จA๐ฉ:๐จโ ๐ฉ;๐จB๐ฉ:!0}"xyz"
5 % {{๐จF๐ฉ:aโ๐ฉ,{!aโก๐ฉ,a-3}๐จ;๐:!0}{๐ฝ_๐ฃ:๐ห}{2ร๐ฉ;๐จ}4}
4 % +โ1{๐ฝ_r_๐พ ๐ฉ:๐ฝ๐ฉ; ๐จ๐ฝ_r_๐พ๐ฉ:๐จ๐พ๐ฉ}โ 3
8 % 2 +โ1{๐ฝ_r_๐พ ๐ฉ:๐ฝ๐ฉ; ๐จ๐ฝ_r_๐พ๐ฉ:๐จ๐พ๐ฉ}โ 3
2 % +โ1{F _r_ G:{๐๐ฉ:F๐ฉ; ๐จ๐๐ฉ:๐จG๐ฉ}}โ{2โธ๐ฝรท๐ฝ}3
! % {๐จFail๐ฉ:๐จ;๐ฉ}@
2 % {F x:0;2}ห1
! % {0:1;a:2}4
# Predicates
4 % {0 ? 3;4}
! % {2 ? 3;4}
! % {aโ1?5;a}
! % {5;1<2?6}
! % {xโ4โx=x?;4}
! % {(๐ฉ?2)+1;3}1
! % {๐:โจ1,๐ฉ?2,3โฉ;๐ฉ}1
! % {ยท?2;3}
! % {aโ1,aโ?3;5}
2 % {aโ2โ4=รหa,?a;6}
2 % aโ2โ{a>1?a<1?-a;a}
1 % -ยด{๐ฉโค2?3ร๐ฉ;๐ฉ}ยจ2โฟ5
! % {๐ฉ;๐จ<2?0;๐จ}
3 % 1{๐จ<๐ฉ?๐จ+๐ฉ;๐ฉ;๐จ}2
3 % 3{๐จ<๐ฉ?๐จ+๐ฉ;๐ฉ;๐จ}2
4 % โจ4,2โฉ{=๐?โ๐;๐}
1 % 0 ({๐ฉ=1?0;1}ยจโก=) 0โฟ1
9 % { 5=๐ฉ?0; รห๐ฉ } 3
! % {โจโฉ:1; 1?1; a:2} 4
# Destructuring
2 % {๐aโฟb:b-a}3โฟ5
! % {๐aโฟb:๐ฉ}โ4
2 % {Aโฟ_b_:b-a}3โฟ5
2 % 4{๐จ๐aโฟb:๐จ-bรทa}3โฟ6
! % {aโฟb:๐ฉ}โ4
3 % {๐aโฟB:b-a;โ ๐ฉ}3โฟ5โฟ6
1 % >ยด{โจxโฉ:1;๐ฉ:0}ยจโจ2โฉโฟ6
3 % 1 {โจa,bโฉ_r๐ฉ:a+bร๐ฉ; a _r๐ฉ:aโฟa _r ๐ฉ} 2
7 % 1โฟ3{โจA,Bโฉ_r๐ฉ:a+bร๐ฉ; a _r๐ฉ:aโฟa _r ๐ฉ} 2
({2:4;๐ฉ}ยจโกโข+2ร2โธ=)โ4
โจ0โฟ1,2โฉโก{1โฟb:b;๐:๐ฉ}ยจ+โ<โ2
0โฟ1โฟ'c'โฟ3 โก {S aโฟ2:a;S aโฟb:b}ยจ"abcd"โพยจโ4
4โฟ2โฟ4โฟ3 โก {๐จ๐0:4;1+๐ฉ;๐ฉร๐จ}ยจ{๐ฝโพ3๐ฝโข}โ2
2 % 4 3{4 3 _๐ฃ_ 2 1:๐จรท๐}2 1
4 % 2{โจa,bโฉ_r:a+b;a _r: aโฟa _r}
55 % 1โฟ1{๐_r 1:0โ๐ ; ๐_r 2:1โ๐ ; _r: +ยด ๐_rยจ ๐ฉ-1โฟ2} 10
34 % 1โฟ1{๐_r_๐ 1:0โ๐ ; ๐_r_๐ 2:1โ๐ ; _r_: ๐พยด ๐ยจ ๐ฉ-1โฟ2}+ 9
5 % {๐ยท:5}4
<ยด{๐[]:1;0}โโยจ1โฟ2โ0โฟ3
# Namespace destructuring
2 % {bโ3} รทโ{โจaโฉ:a+1; ๐ค,8} {aโ3}
6 % {โจalโaโฉ:al+1; ๐:0} {aโ5}
|
