1. 7
    1. 2

      When you write this code:

      OperatorEdges(src, dest) :-
          ChannelsEvent(src_id, dest_id, scope_addr),
          [..scope_addr, src_id] == src,
          [..scope_addr, dest_id] == dest.

      Is this intended as pseudo-code, or is this real code for a language within Timely Dataflow, or is this a differential-datalog?

      1. 1

        It’s pretty much ddlog code, I just added the splat patterns ([..scope_addr]) since it’s easier to write and understand