Frame agreement: Difference between revisions
Jump to navigation
Jump to search
m (→Model) |
m (→Model) |
||
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 |