Mitchell Dalvi Rosen

At (the end of the moment at) time 2, we switch to a new `observeE (listingE event)`, which first emits at time 3 with value `[3]`. The event doesn't exist...

Huh, yes, I see what you mean now. Sorry it took so long for me to understand. I agree with your assessment; the model seems correct to me, too.

I think we just need to rewrite the comment on `switchE` to treat the initial event specially, because its first occurrence is visible in the output, unlike the others. Is...

Oh, I think that's a puzzle for @HeinrichApfelmus or another intrepid adventurer. If I had to speculate, it seems we're building the event too late. We ought to build it...

This note seems relevant: ``` {- * Note [PulseCreation] We assume that we do not have to calculate a pulse occurrence at the moment we create the pulse. Otherwise, we...

Yes, the logical time

@ceedubs we think the rountrip bug issue was fixed (so removing the label) but please re-add if you have a repro

How about this? ``` haskell class Screen s where ... some stuff, probably sInit, sDraw, sHandle ... data AccountsScreen = ... instance Screen AccountsScreen data TransactionsScreen = ... instance Screen...

Hm, I looked into this a bit. I think because of the tangling between `Screen` and `UIState` it won't be possible to do what I outlined above - specifically, you...

@aryairani agreed – this part is ready for review but shouldn't be merged before the term half is done and reviewed, too