diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-10-07 15:53:01 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-10-07 15:53:01 -0400 |
| commit | d4291d5b51620465edbd02b33dd683b26e345525 (patch) | |
| tree | 3111bb770ce7b7f3eb03f0048e4d2716f9c2127a /src | |
| parent | 5f9b2d015f9d9e6a17311c9f09cc618b34077d69 (diff) | |
No need to reject assignment target in trains since that's done by role later
Diffstat (limited to 'src')
| -rw-r--r-- | src/c.bqn | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -141,7 +141,7 @@ Parse ← {r‿nv←𝕨 os←⌽↕∘≠⊸(⊣-T)⌽¬ro∨ma⋄at←1+⊏⟜os⊸+/a "Role of the two sides in assignment must match" ! (⊏⟜er≡⊏⟜r)at r(×⟜¬-⊢)↩aa←g⊏asn←»+`gi⊏«⊸-(≠𝕩)↑/⁼at - ta←tr>(a≤○I1T ps)∧(⊢∧2(|<≤)ps(⊢-T)+`)¬ro + ta←tr>(⊢∧2(|<≤)ps(⊢-T)+`)¬ro oa←⌽/op←(«r≥0)∧r≥2 fa←/(ta∨(ro∧«op)∨«aa)<(r=1)∨<⟜»op dy←fa⊏«(𝕩≠⊑bO)∧(tr∧r≥0)∨ro<r=0 |
