Yes, it is about AMPQ. Just a hypothesis, that implementing it in Haskell instead of Erlang is a great idea :) (e.g. provability of correctness of implementatio

Yes, it is about AMPQ. Just a hypothesis, that implementing it in Haskell instead of Erlang is a great idea :) (e.g. provability of correctness of implementation etc.)