Weakest precondition code modelling logic in Haskell. - View it on GitHub