blob: e4cdf4961bb5c1b92c5af96f6a935c56eb10ddca (
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
# Invertible
(⊑≡⊑⌾⊢) ⟨↕3,2,<"abc"⟩
3 (+≡+⌾⊣) 4
(¯2⊸↓ ≡ 2⊸↓⌾⌽) ↕6
(1⊸↓⌾⍉ ≡ 1⊸↓˘) ↕3‿3
7(⥊⌾(<˘)≡·<˘⁼⥊⟜(<˘))3‿3⥊↕9
"abcd" (⊣≡»⌾≍) ↕4
! % ⍉⌾≍ "abc"
(⌽∘|⊸/4‿¯3) ≡ ↕∘≠⊸-⌾(3⊸⌽)↕7
# Structural
# Monad
"bbcd" ≡ 1⊸+⌾⊑ "abcd"
(<∘- ≡ -⌾⊑) 4
(⌽⌾⊏ ≡ ⌽⊸≍˝) "abc"≍"def"
! % -⌾⊏ 4
1 ≡ "cd"‿"ab"⊸⊐⌾< "ab"
(0‿1+⌜0‿4‿2) ≡ ⍋∘⍋⌾⥊ "apl"≍"bqn"
2 (⌽⌾⥊ ≡ 12|+) ⥊⟜(↕×´)6‿2
↕∘≠⊸+{𝔽≡𝔽¨⌾↑} "abcde"
2⊸+{𝔽≡𝔽¨⌾↓} "abcde"
# Dyad
! % ↕∘≠⊸+⌾(10⊸⥊)↕6
(⌽⍒⌊2÷˜↕7) ≡ ⌽˘⌾(⌊‿2⥊⊢)↕7
¯1‿0‿1‿3 ≡ -⟜(+´÷≠)⌾(3⊸↑)↕4
"adcb" ≡ ⌽⌾(1⊸↓)"abcd"
5‿6‿3‿0 ≡ (5‿3‿1⌾(0‿0⊸⍉)4‿3⥊0) +´∘×⎉1‿∞ 1+↕3
"AbcD" ≡ ('A'-'a')⊸+⌾(1‿0‿0‿1⊸/)"abcd"
"AbcD" ≡ "ABCD"⊣⌾(1‿0‿0‿1⊸/)"abcd"
! % ↕∘≠⊸+⌾(2⊸/)↕5
(1⊸⌽ ≡ 2⊸⌽⌾(2⊸/)) ↕5
"bdca" ≡ 1⊸⌽⌾(1‿3‿0⊸⊏)"abcd"
! % 1⊸⌽⌾(1‿3‿3‿0⊸⊏)"abcd"
((¯1⋆2∧⌜○(⌽0=↕)3)⊸× ≡ -⌾(1‿2⊑⊢))↕2‿3
((0‿3≍1‿2)⊸+ ≡ ⟨1,2‿3⟩⊸+⌾(⟨1‿0,⟨1‿1,0‿1⟩⟩⊸⊑))↕2‿2
# Compound
(1+↕3) ≡ 1⊸↓⌾(@⊢·⊑<)↕4
"210abc" ≡ ⌽⌾((2÷˜≠)⊸↑)"012abc"
"bac"‿'d' ≡ ⌽⌾(2↑⊑)"abc"‿'d'
(⌽¨⌾(<2‿3⊸⊏) ≡ ⌽⌾(2‿3⊸⊏)) "abcdef"
"bdca" ≡ 1⊸⌽⌾(1‿3‿0˙⊏⊢)"abcd"
# Multi-source
⟨3‿'b','a'⟩ ≡ ⌽⌾(⊑∘⊑⋈1⊸⊑)"ab"‿3
(4‿3⋈⊸∾"ba") ≡ ⌽⌾(⊑⋈·⌽1⊸↓)"ab"‿3‿4
⟨"ba"⟩ ≡ 2⊸⌽⌾(⊑∾⌽∘⊑)⟨"ab"⟩
"hg"‿"fed"‿""‿"cba" ≡ ⌽⌾∾"ab"‿"cde"‿""‿"fgh"
"ab"‿"gde"‿""‿"fch" ≡ ⌽⌾(2‿4‿6⊏∾)"ab"‿"cde"‿""‿"fgh"
"ac"‿"bd" ≡ ⍉⌾>"ab"‿"cd"
"aed"‿"cb" ≡ ⌽⌾(∾⌽) "abc"‿"de"
! % -´⌾(⊑¨) "abc"‿"de"
"dbc"‿"ae" ≡ ⌽⌾(⊑¨) "abc"‿"de"
"aec"‿"db" ≡ ⌽⌾(1⊑¨⊢) "abc"‿"de"
"dbe"‿"ac" ≡ ⌽˘⌾(0‿¯1⊑⌜⊢) "abc"‿"de"
("bac"≍"def") ≡ ⌽˘⌾((-⟜1¨≢)⊸↑) "abc"≍"def"
# Fills
! % ⌽⌾(1↓4↑⊢)"abc"
# Computational
3 % 1⊸+⌾-4
20 % ⌊0.5+ 4+⌾(⋆⁼)5
2 % ⊢⌾2 3
-2 % ⊢⌾(2∘-) 3
∘‿+ ≡ ⊢⌾∘‿+ 1
|
