Re: [Haskell-cafe] Informal modelling and simulation of protocols

On Mon, 11 Mar 2019 at 14:45, Ivan Perez wrote:

My pleasure! Let me know if you have any questions.

I dare say I will. :) Lots of pointers there, I'll take a look and try to digest it. A couple of points there that are already correcting/clarifying things for me I think. I see more quantum foam in my future... but I appreciate the help nonetheless. Thanks! :)