From 72817aa5dc9e2128f7aa97a7e606cf9e722e2487 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 31 Oct 2020 22:04:00 -0400 Subject: =?UTF-8?q?Extend=20dzref=20=E2=8D=8E=20cover=20to=20dyadic=20form?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- dzref | 4 ++-- 1 file 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 } -- cgit v1.2.3