# Verifiable Expressions

Intermediate language for Hoare Logic style verification and useful combinators.

Please see
[Language.Expression.Example](https://github.com/camfort/verifiable-expressions/blob/master/Language/Expression/Example.hs) for how to use this library.