[buckie]

Is one of them Juno? https://github.com/kadena-io/juno. If so, I was lead eng on it so let me know if you have any questions.

FYI we're hiring haskell devs to work on our private consensus layer (based off of Juno), our public consensus protocol (http://kadena.io/docs/chainweb-v15.pdf) and our smart contract language https://github.com/kadena-io/pact + formal verification system. [e-mail].

[mark_l_watson]

Indeed, it is the Pact language I have been playing with. Good stuff. I have also been watching your company Kadena.