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