trusted
83
edits
m (→Model) |
m (→Model) |
||
(One intermediate revision by the same user not shown) | |||
Line 137: | Line 137: | ||
assert ⍺∧⍥(s≡(≢s)↑⍴)⍵: ⍝ do frames agree? | assert ⍺∧⍥(s≡(≢s)↑⍴)⍵: ⍝ do frames agree? | ||
⍺ ⍺⍺⍤c⍤k⊢⍵ | ⍺ ⍺⍺⍤c⍤k⊢⍵ | ||
} | } | ||
x+_FA_ 0 1⊢y | x+_FA_ 0 1⊢y | ||
0 1 | 0 1 |