On 5 Jun 2014, at 14:23 , Sartakov A. Vasily <sartakov@ksyslabs.org> wrote:

This is a really great news. Will you publish the haskell model and proof?

Yes, the lot!

Gernot