second instruction shouldn't have a swap requirement anymore
This commit is contained in:
parent
8ea2352a7b
commit
ce1032f80d
@ -115,7 +115,7 @@ Make ← {𝕊ns:
|
|||||||
i0‿i1 ← 1‿0 {
|
i0‿i1 ← 1‿0 {
|
||||||
𝕨 𝕊 @: "";
|
𝕨 𝕊 @: "";
|
||||||
i0 𝕊 fn‿t‿rt‿ex‿swap‿cast:
|
i0 𝕊 fn‿t‿rt‿ex‿swap‿cast:
|
||||||
swap∧↩ i0
|
! i0 ∨ ¬swap
|
||||||
two ← swap ∨ @≢cast
|
two ← swap ∨ @≢cast
|
||||||
∾⟨⊢◶""‿{𝕊:∾⟨
|
∾⟨⊢◶""‿{𝕊:∾⟨
|
||||||
".ex1=",@⊸≢◶⟨"",∾⟜"_"⟩ cast,swap⊑"reg,"‿"swap,"⟩} two,
|
".ex1=",@⊸≢◶⟨"",∾⟜"_"⟩ cast,swap⊑"reg,"‿"swap,"⟩} two,
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user