diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-19 17:31:27 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-19 17:31:27 -0400 |
| commit | a6d64a40e880b13f094f4da300d4243d1aedab57 (patch) | |
| tree | d455fb230dc65501643d9e8a176c9488c9366d7f /dzref | |
| parent | 1fe42d7b197e0fe8fd3d693ba68f0400f2521e2d (diff) | |
Force block types with headers
Diffstat (limited to 'dzref')
| -rwxr-xr-x | dzref | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -110,8 +110,8 @@ ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩} ⊒ ← OccurrenceCount⊘ ProgressiveIndexOf " -X←Raw←{≤4} -{ +X←Raw←{F:≤4} +{v: chrs←⟨ "!∾↕⌽⍉⊐⊒∊⍷" "" @@ -163,4 +163,4 @@ X←Raw←{≤4} X↩Raw∘E_proc ⍎ ∾ ∾⟜lf¨ pre ≠◶X‿{ExecFile ⊑𝕩}‿{ExecFile ⊑𝕩 ⋄ X 1⊑𝕩} •args -}0 +} |
