Haskell support for the Why3 input format - View it on GitHub