[Haskell-cafe] Informal modelling and simulation of protocols

[P Orrifolius]

On Mon, 11 Mar 2019 at 14:45, Ivan Perez <ivanperezdominguez at gmail.com> 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! :)