Skip to content

Commit

Permalink
🧼
Browse files Browse the repository at this point in the history
  • Loading branch information
AlephAlpha committed Sep 29, 2024
1 parent 31045cc commit 63c7318
Show file tree
Hide file tree
Showing 10 changed files with 86 additions and 38 deletions.
1 change: 1 addition & 0 deletions analysis/corpus.txt
Original file line number Diff line number Diff line change
Expand Up @@ -358,3 +358,4 @@ R~3DᵉlhÖ*ž
Ť?~q5Ƃ=
Ṗ@ᵐ~oũ
↔SĦaõ@
ᵑʰ→::∙$ṁ7*+Å
22 changes: 11 additions & 11 deletions analysis/freq_1gram.txt
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
{ : 83
$ : 56
$ : 57
= : 56
: : 50
+ : 46
: : 52
+ : 47
∑ : 39
ᵐ : 36
→ : 33
→ : 34
* : 33
R : 33
* : 32
← : 30
x : 30
} : 28
Expand Down Expand Up @@ -42,9 +42,9 @@ t : 15
Ɗ : 15
Ṁ : 15
Ð : 15
∙ : 15
" : 14
Ň : 14
∙ : 14
L : 14
ᶦ : 13
< : 13
Expand All @@ -56,6 +56,7 @@ q : 13
; : 13
½ : 12
ᶻ : 12
ᵑ : 12
? : 12
Ë : 12
@ : 12
Expand All @@ -68,7 +69,6 @@ _ : 12
Ţ : 11
Q : 11
r : 11
ᵑ : 11
∏ : 11
J : 11
E : 10
Expand Down Expand Up @@ -112,6 +112,7 @@ H : 8
Ĭ : 7
õ : 7
Ĉ : 7
ṁ : 7
ä : 7
Ř : 7
v : 7
Expand All @@ -123,13 +124,13 @@ v : 7
≤ : 6
ŧ : 6
ş : 6
Å : 6
µ : 6
Ŝ : 6
ɔ : 6
Ĩ : 6
D : 6
ĕ : 6
ṁ : 6
5 : 6
> : 6
Þ : 6
Expand All @@ -146,12 +147,12 @@ d : 5
ř : 5
ʳ : 5
G : 5
Å : 5
ʲ : 5
s : 5
M : 5
8 : 5
√ : 5
7 : 5
Ṗ : 5
U : 5
ᵋ : 5
Expand All @@ -162,7 +163,6 @@ A : 5
k : 4
F : 4
ƥ : 4
7 : 4
X : 4
÷ : 4
þ : 4
Expand All @@ -177,6 +177,7 @@ X : 4
Y : 3
T : 3
ƶ : 3
ʰ : 3
≠ : 3
ï : 3
å : 3
Expand All @@ -190,7 +191,6 @@ g : 2
^ : 2
ē : 2
K : 2
ʰ : 2
¥ : 2
e : 1
: 1
Expand Down
17 changes: 11 additions & 6 deletions analysis/freq_2gram.txt
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@
{ᵉ : 4
1Ĩ : 4
ᵏ{ : 4
:∙ : 4
ᵒ{ : 4
:ᵒ : 4
xŘ : 4
Expand Down Expand Up @@ -56,7 +57,6 @@ $L : 3
{x : 3
x= : 3
R: : 3
:∙ : 3
2R : 3
ĉᵐ : 3
&Þ : 3
Expand All @@ -69,6 +69,7 @@ pN : 3
{į : 3
ᶻL : 3
x→ : 3
*+ : 3
+$ : 3
ᴶ{ : 3
*$ : 3
Expand Down Expand Up @@ -122,6 +123,7 @@ G1 : 2
· : 2
+j : 2
xᵐ : 2
+Å : 2
ᶜt : 2
:Ĭ : 2
-± : 2
Expand Down Expand Up @@ -214,6 +216,7 @@ tu : 2
ut : 2
,} : 2
:→ : 2
→: : 2
{ᵋ : 2
ᶻ, : 2
,Ť : 2
Expand All @@ -225,7 +228,6 @@ ut : 2
#: : 2
ĭ? : 2
{* : 2
*+ : 2
ᵃ{ : 2
x- : 2
ŋ+ : 2
Expand All @@ -240,9 +242,11 @@ $B : 2
→ᵉ : 2
RS : 2
+= : 2
:: : 2
ɔ$ : 2
jŢ : 2
↔$ : 2
$ṁ : 2
ž¿ : 2
çṀ : 2
3~ : 2
Expand Down Expand Up @@ -391,7 +395,6 @@ N; : 1
qᵗ : 1
ᵗZ : 1
Zđ : 1
+Å : 1
Ɗ; : 1
;ᶜ : 1
tᶻ : 1
Expand Down Expand Up @@ -769,7 +772,6 @@ D: : 1
×Ṁ : 1
#2 : 1
÷: : 1
→: : 1
ᵋ{ : 1
-+ : 1
+@ : 1
Expand Down Expand Up @@ -902,7 +904,6 @@ Pᵖ : 1
S2 : 1
2L : 1
L: : 1
:: : 1
∙√ : 1
√ɔ : 1
$≤ : 1
Expand Down Expand Up @@ -934,7 +935,6 @@ Cᵈ : 1
Ac : 1
c} : 1
∑½ : 1
$ṁ : 1
ṁ± : 1
±* : 1
$: : 1
Expand Down Expand Up @@ -1466,3 +1466,8 @@ oũ : 1
SĦ : 1
Ħa : 1
aõ : 1
ᵑʰ : 1
ʰ→ : 1
∙$ : 1
ṁ7 : 1
7* : 1
11 changes: 10 additions & 1 deletion analysis/freq_3gram.txt
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,7 @@ tut : 2
ᵖ{: : 2
ŋ+} : 2
ᵉhl : 2
::∙ : 2
3~ᵑ : 2
ʸ{ˣ : 2
∆±ĉ : 2
Expand Down Expand Up @@ -781,7 +782,6 @@ RS2 : 1
S2L : 1
2L: : 1
L:: : 1
::∙ : 1
:∙√ : 1
∙√ɔ : 1
√ɔ$ : 1
Expand Down Expand Up @@ -1473,3 +1473,12 @@ q5Ƃ : 1
SĦa : 1
Ħaõ : 1
aõ@ : 1
ᵑʰ→ : 1
ʰ→: : 1
→:: : 1
:∙$ : 1
∙$ṁ : 1
$ṁ7 : 1
ṁ7* : 1
7*+ : 1
*+Å : 1
9 changes: 9 additions & 0 deletions analysis/freq_4gram.txt
Original file line number Diff line number Diff line change
Expand Up @@ -1191,3 +1191,12 @@ q5Ƃ= : 1
↔SĦa : 1
SĦaõ : 1
Ħaõ@ : 1
ᵑʰ→: : 1
ʰ→:: : 1
→::∙ : 1
::∙$ : 1
:∙$ṁ : 1
∙$ṁ7 : 1
$ṁ7* : 1
ṁ7*+ : 1
7*+Å : 1
8 changes: 8 additions & 0 deletions analysis/freq_5gram.txt
Original file line number Diff line number Diff line change
Expand Up @@ -932,3 +932,11 @@ i3bᵖ≥ : 1
@ᵐ~oũ : 1
↔SĦaõ : 1
SĦaõ@ : 1
ᵑʰ→:: : 1
ʰ→::∙ : 1
→::∙$ : 1
::∙$ṁ : 1
:∙$ṁ7 : 1
∙$ṁ7* : 1
$ṁ7*+ : 1
ṁ7*+Å : 1
4 changes: 2 additions & 2 deletions analysis/particles.txt
Original file line number Diff line number Diff line change
Expand Up @@ -12,10 +12,10 @@ particle : with "{" / total
ᵒ : 4 / 20
ᵗ : 2 / 9
ᵚ : 2 / 8
ʰ : 1 / 3
ʲ : 2 / 5
ᴶ : 3 / 7
ʰ : 1 / 2
ᵑ : 6 / 11
ᵑ : 6 / 12
ᵖ : 11 / 18
ᵏ : 4 / 6
ᶠ : 7 / 10
Expand Down
14 changes: 7 additions & 7 deletions doc/Builtins.md
Original file line number Diff line number Diff line change
Expand Up @@ -2365,7 +2365,7 @@ __Examples__:

### `map` (``, `(0 -> 1) -> (1 -> 1) or (m -> 1) -> (m -> 1) where m > 0`)

Apply a function to each value in a list.
Apply a function to each element in a list.

If the input is an number, apply the function to each integer from 0 to the input minus 1.

Expand All @@ -2387,7 +2387,7 @@ __Examples__:

### `zipWith` (``, `(m -> 1) -> (m -> 1) where m > 1`)

Zip two lists and apply a function to each pair of values.
Zip two lists and apply a function to each pair of elements.

Fail if the lists have different lengths.

Expand All @@ -2399,7 +2399,7 @@ __Examples__:

### `zipWithTrunc` (``, `(m -> 1) -> (m -> 1) where m > 1`)

Zip two lists and apply a function to each pair of values.
Zip two lists and apply a function to each pair of elements.

If the lists have different lengths, truncate the longer list to the length of the shorter list.

Expand All @@ -2411,7 +2411,7 @@ __Examples__:

### `outer` (``, `(m -> 1) -> (m -> 1) where m > 1`)

Apply a function to every possible pair of values in two lists and return a list of lists.
Apply a function to every possible pair of elements in two lists and return a list of lists.

If one of the input is an number, apply the function to each integer from 0 to the input minus 1.

Expand Down Expand Up @@ -2467,7 +2467,7 @@ __Examples__:

### `filter` (``, `(m -> n) -> (1 -> 1)`)

For each value in a list, check if a function would succeed without actually applying it, and remove the value if it fails.
For each element in a list, check if a function would succeed without actually applying it, and remove the element if it fails.

If the input is an number, convert it to a list of integers from 0 to the input minus 1 before filtering.

Expand Down Expand Up @@ -2537,7 +2537,7 @@ __Examples__:

### `fold1` (`ʳ`, `(m -> 1) -> (m - 1 -> 1) where m > 1`)

Apply a function to the first two values of a list, then apply it to the result and the third value, and so on until the end of the list.
Apply a function to the first two elements of a list, then apply it to the result and the third element, and so on until the end of the list.

If the input is an number, convert it to a list of integers from 0 to the input minus 1 before folding.

Expand All @@ -2547,7 +2547,7 @@ __Examples__:

### `onAny` (`ʰ`, `(0 -> 1) -> (1 -> 1) or (m -> 1) -> (m -> 1) where m > 0`)

Apply a function to one value in a list. The value is chosen non-deterministically.
Apply a function to one element in a list. The element is chosen non-deterministically.

Fail if the list is empty.

Expand Down
Loading

0 comments on commit 63c7318

Please sign in to comment.