Dependencies for verifiable-expressions-0.6.3
Libraries
verifiable-expressions
- base (>=4.9 && <5)
- containers (>=0.5.7 && <0.7)
- lens (>=4.16.1 && <5.5)
- mtl (>=2.0 && <3)
- transformers (>=0.5 && <0.7)
- union (>=0.1.2 && <0.2)
- vinyl (>=0.14.3 && <0.15)
- if impl(ghc>=9.6)
- sbv (>=10.0 && <11)
- if impl(ghc<9.6)
- sbv (>=8.0 && <10)