Stephen Blackheath

I will! Thanks!

Assuming two events are simultaneous is generally discouraged, but I have encountered use cases for it in real applications. The way to do it is to write your own function...

Well, I didn't say that assuming two events are simultaneous is wrong necessarily, so that might be the best way. Can you tell me a little bit more about what...

I see. Well, at first I thought maybe that's not a suitable problem for FRP. But, I can see how the state management of FRP could be useful for representing...

I have been down this route, but I can't give you any code (because it was proprietary and not owned by me). It turned out to be really complicated. So,...

The cell for current time (called sys.time) is `C T = (T0, [(T, T)])` where T is an element of the infinite set [T0...]. Its value is continuous in that...

Yes, it should be mentioned in the semantics. I'll do it all when I can find the time.

> Both of these have a value for any T, but only the function on the right is continuous. As my teenage daughter would say, OH MY GOD!!!! You're right....

Yes - these are great things to do. I don't have time for any of it at the moment but let's leave this open.

Thank you! You have just saved me a whole lot of work! I've really got to find some time to finish this off.