aboutsummaryrefslogtreecommitdiff
path: root/dzref
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-10-31 22:04:00 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-10-31 22:04:00 -0400
commit72817aa5dc9e2128f7aa97a7e606cf9e722e2487 (patch)
treee67d92843dc5c6d7e21f91f488b9c62624616115 /dzref
parenta99696a81c49fb95387f1ac3749a864182ba6217 (diff)
Extend dzref ⍎ cover to dyadic form
Diffstat (limited to 'dzref')
-rwxr-xr-xdzref4
1 files changed, 2 insertions, 2 deletions
diff --git a/dzref b/dzref
index c0edb319..7038e77e 100755
--- a/dzref
+++ b/dzref
@@ -118,8 +118,8 @@ _withRef ← ˙
src ← E_proc¨ •LNS 𝕩
⟨⟨⟩,"",(∨`⌾⌽'/'=𝕩)/𝕩⟩ Raw ∾ ∾⟜lf¨ src
}
- X↩Raw∘E_proc
- _withRef ↩ {𝕗∘E_proc}
+ _withRef ↩ {𝔽∘E_proc⊘(𝔽⟜E_proc)}
+ X↩Raw _withRef
Raw ∾ ∾⟜lf¨ pre
≠◶(X˙)‿{ExecFile ⊑𝕩}‿{ExecFile ⊑𝕩 ⋄ X 1⊑𝕩} •args
}