aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/r1.bqn10
1 files changed, 6 insertions, 4 deletions
diff --git a/src/r1.bqn b/src/r1.bqn
index 6af1f0c1..fe4db087 100644
--- a/src/r1.bqn
+++ b/src/r1.bqn
@@ -478,11 +478,13 @@ structFn ← {
}⟩)
StructPrim ← {p←SP𝕩⋄𝕨P𝕩}
+ Recomp ← (E˙=≥⟜3⊸⊑)◶⟨Recompose,E˙⟩
+
0⊸≤◶⟨3,2⊸≤◶⊢‿2⟩∘(0⊑⊢)◶⟨
- SE ⊣ StructPrim 1⊑⊢ # 0 primitive
- StructErr˙˙ # 1 block
- 0⊸⊑ Recompose {𝕨˙⊸StructFn⌜1↓𝕩} # other operation
- SE 1⊑⊢ # ¯1 constant
+ SE ⊣ StructPrim 1⊑⊢ # 0 primitive
+ E˙ # 1 block
+ 0⊸⊑ Recomp {𝕨˙⊸StructFn⌜1↓𝕩} # other operation
+ SE 1⊑⊢ # ¯1 constant
⟩⟜{Decompose𝕩}
}