Dependencies for crucible-syntax-0.5.0.0
Libraries
crucible-syntax
- base (>=4.9 && <4.21)
- bv-sized (>=1.0.0)
- containers (>=0.6.0.1)
- crucible (>=0.1)
- lens
- megaparsec (>=7.0 && <9.7)
- mtl
- parameterized-utils (>=0.1.7)
- prettyprinter (>=1.7.0)
- text
- transformers
- vector
- what4