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
|
# Headerless
! % 1;๐ฉ
! % ;
! % {๐จ;2+๐ฉ}
! % {๐ฉ;2}
! % {5;8}
! % 3{๐;-๐}
! % {๐ฉ;{3-๐ฉ}๐จ;๐ฉ}
! % {โ๐ฉ;}
! % {aโ๐ฉ;a-๐จ}
! % {๐ฝ๐ฉ;๐ฉ}
6 % {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
# Overall structure
! % :
! % s:3
! % {๐ฉ;๐3:2}
! % {๐จ๐๐ฉ;Fn:๐ฉ-1}
! % {๐ฉ;๐๐ฉ:-๐ฉ;๐จ}
! % {๐๐ฉ:-๐ฉ;๐จ;๐จ}
! % {๐๐ฉ:-๐ฉ;๐ฉ;1+๐ฉ;2+๐ฉ}
! % {๐ฉ; ;๐จ}
! % {๐๐ฉ:๐จ}
! % {F:6;v:4}
! % {a:1;aโ2}
! % {_๐ฃ:รท3;4โ5}
! % {_๐ฃ:๐พ๐จ}
# 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โฉ_r:aโฟbโธโฅ;a _r ๐ฉ: aโฟa _r ๐ฉ}
# 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๐ฉ:๐จ;๐ฉ}@
# Destructuring
2 % {๐aโฟb:b-a}3โฟ5
! % {๐aโฟb:๐ฉ}โ4
2 % {aโฟb:b-a}3โฟ5
! % {aโฟb:๐ฉ}โ4
3 % {๐aโฟb:b-a;โ ๐ฉ}3โฟ5โฟ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
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
|
