diff options
Diffstat (limited to 'dzref')
| -rwxr-xr-x | dzref | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -4,7 +4,14 @@ impl ← " #⌜ # LAYER 4: Operators -_ranks ← {⟨2⟩⊘⟨1,0⟩((⊣-1+|)˜⟜≠⊑¨<∘⊢)⥊∘𝔽} +ValidateRanks←{ + ! 1≥=𝕩 + 𝕩↩⥊𝕩 + ! (1⊸≤∧≤⟜3)≠𝕩 + ! ∧´⌊⊸=⌜𝕩 + 𝕩 +} +_ranks ← {⟨2⟩⊘⟨1,0⟩ ((⊣-1+|)˜⟜≠⊑¨<∘⊢) ValidateRanks∘𝔽} _depthOp_←{ neg←0>n←𝕨𝔾_ranks𝕩 ⋄ F←𝔽 _d←{ |
