diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-12 20:38:54 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-12 21:02:26 -0400 |
| commit | 2b99c84e96ad15b9104f00c7be0f228d2867a280 (patch) | |
| tree | 021b985d2de0ba99499230ac03bbb9425bd3f058 /dzref_full | |
| parent | a91db82531cc2f9e58d2fb76bbc159d1f16c9b6b (diff) | |
Move ⊘ to the non-self-hosted part of the runtime
Diffstat (limited to 'dzref_full')
| -rwxr-xr-x | dzref_full | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -38,7 +38,7 @@ X←Raw←{≤4} "GroupLen← ≠¨⊔" "GroupOrd← ∾⊔∘⊢" '!' Mod "{𝕩 ⋄ ≤1}⍟¬" - ⟩∾Mod⟜⥊¨ "+-×÷⋆⌊=≤≢⥊⊑↕⌜`" + ⟩∾Mod⟜⥊¨ "+-×÷⋆⌊=≤≢⥊⊑↕⌜`⊘" # checks if line is a builtin redefinition |
