lib:verifiable-expressions
Modules
- Language.Expression
- Language.Expression.Choice
- Language.Expression.Example
- Language.Expression.GeneralOp
- Language.Expression.Pretty
- Language.Expression.Prop
- Language.Expression.Scope
- Language.Expression.Util
- Language.Verification
- Language.Verification.Conditions
- Language.Verification.Core
- Language.While.Hoare
- Language.While.Hoare.Prover
- Language.While.Syntax
- Language.While.Syntax.Sugar
- Language.While.Test
Dependencies
- base lib:base >=4.9 && <5
- containers lib:containers >=0.5.7 && <0.7
- lens lib:lens >=4.16.1 && <5.3
- mtl lib:mtl >=2.0 && <3
- sbv lib:sbv >=8.0 && <10
- transformers lib:transformers >=0.5 && <0.7
- union lib:union >=0.1.2 && <0.2
- vinyl lib:vinyl >=0.14.3 && <0.15
Reverse dependencies
Direct only. Not exhaustive.