aboutsummaryrefslogtreecommitdiff
path: root/dzref
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-09-04 18:43:56 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-09-04 18:43:56 -0400
commitcf072f50d2e1c600c788d37645721a94c55377c8 (patch)
tree4db511aff5d7ae99838d23f5b0b1022a3fd28e71 /dzref
parent399c717259ae8b310a3503d4098acec3b9b65486 (diff)
Let's never use •UCS again
Diffstat (limited to 'dzref')
-rwxr-xr-xdzref6
1 files changed, 3 insertions, 3 deletions
diff --git a/dzref b/dzref
index f51e4ca1..9f5a6ecf 100755
--- a/dzref
+++ b/dzref
@@ -109,12 +109,12 @@ X←Raw←{F:≤4}
init ← " "⊸∾¨(/⟜"_"¨nc/0‿1‿1)∾¨(nc/"FMD")∾¨(nc+´⊸↑⥊"AB"∾⌜•a)
post ← ∾⟜" "¨/⟜"_"¨nc/0‿0‿1
- names ← init∾¨(•UCS 48)∾¨post
+ names ← init∾¨'0'∾¨post
Inc ← {
i←⊑chr⊐𝕩
n←0 ⋄ itr↩{n↩1+𝕩}⌾(i⊑⊢)itr
- names↩((i⊑init)∾(•UCS 48+n)∾i⊑post)⌾(i⊑⊢)names
+ names↩((i⊑init)∾('0'+n)∾i⊑post)⌾(i⊑⊢)names
}
# built-in assumptions
@@ -141,7 +141,7 @@ X←Raw←{F:≤4}
(E_proc 1↑𝕩) ∾ "←" ∾ tail
}
- lf ← •UCS 10
+ lf ← @+10
pre ← E_isdef◶E_proc‿E_redef¨ lf((⊢-˜¬×+`)∘=⊔⊢)impl
Raw↩⍎
ExecFile←{Raw ∾ ∾⟜lf¨ E_proc¨ •LNS 𝕩}