Verifiable Expressions

Intermediate language for Hoare Logic style verification and useful combinators.

Please see Language.Expression.Example for how to use this library.

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
Language		Language
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
notes.org		notes.org
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock
verifiable-expressions.cabal		verifiable-expressions.cabal

Navigation Menu