e same mechanism to implement any
> behaviour we want for the built-in operators. There should be no need to
> add any separate mechanism.
>
> Best,
> Piotrek
>
> śr., 23 lis 2022 o 08:21 Divye Kapoor
> napisał(a):
>
> > Thanks Yun/Piotrek,
> >
> > Some br
Thanks Yun/Piotrek,
Some brief comments inline below.
On Tue, Nov 22, 2022 at 1:37 AM Piotr Nowojski wrote:
> Hi,
>
> All in all I would agree with Dawid's proposal.
+1
We can add the flexibility
> of how to deal with the timers in the low level API via adding a handler -
> if someone needs t
Hi Folks,
I raised the initial issue with Yun and others (apologies for the long
email below, I promise it's worth the read).
Speaking as someone who has hit this issue in a practical way, Dawid's
first solution is the simplest and easiest way to fix the problem without
introducing additional compl
