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