a bit more compact

main
aprzn 1 year ago
parent 1785126fd7
commit 9b35a5bd9c

@ -14,11 +14,7 @@ PartIPost ← /+
PartIIPre ← /+♭⊞=Parse PartIIPre ← /+♭⊞=Parse
PartIIPost ← ( PartIIPost ← (
⊃(∘|+1⊚⧻) ⊃(∘|+1⊚⧻)
⊙⊙0 ∧(⬚0+×+1⊚⊃(⊙⊢|⋅(↘1)|⋅(+⊢)))⊙⊙0
∧(
⊃(⊙⊢|⋅(↘1)|⋅(+⊢))
⬚0+×+1⊚
)
; ;
) )

Loading…
Cancel
Save