diff options
| -rwxr-xr-x | test/dz_rt | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -30,7 +30,7 @@ Mod ← {((⊑chr⊐𝕨)⊑names) ∾ " ← " ∾ 𝕩} pre ← ⟨ "IsArray ← 0≠≡" - "Type ← ⟨⟩⥊0⊸⥊" + "Type ← ⊑⟨⟩⥊0⊸⥊" "Log ← ⋆⁼" "GroupLen← ≠¨⊔" "GroupOrd← ∾⊔∘⊢" |
