Solution to AoC 2015 P7

P7S.aplf

 P7S←{
     ⍝ Implement recursive topological sort
     Segs←#.U.Segs
     Trim←#.U.Trim
     data←⍉⊃¨@2⍉' 'Segs¨Trim↑'->'∘Segs¨⍵
     results←¯1⍴⍨≢data
     ToBin←(16⍴2)∘⊤
     FromBin←2∘⊥
     NOT←=
     AND←∧
     OR←∨
     SHIFT←{(⍺⍺ 16)↑⍺↓⍨FromBin ⍺⍺ ⍵}
     LSHIFT←+SHIFT
     RSHIFT←-SHIFT
     Ö←{⊃⍺⍺/⍵⍵¨⍺ ⍵} ⍝ polyfill for ⍥
     BIN←{FromBin ⍺ ⍺⍺ Ö ToBin ⍵}
     Eval←{
         vertex←⊃⌽⍵
         ∧/vertex∊⎕D:⍎vertex  ⍝ If given expr is number, cast to number
         value←⍺⊃results
         0≤value:value  ⍝ Value already found
         (x f y)←(⊢,⍨'0⊢'↑⍨3-≢)⊃⍵
         results[⍺]←x(⍎f)BIN Ö ∇ y
     }
     (⊢/data)results⊣(⍳∘≢Eval⍤1⊢)data
 }