Dependencies for copilot-language-3.12
Libraries
copilot-language
- array (>=0.5 && <0.6)
- base (>=4.9 && <5)
- containers (>=0.4 && <0.7)
- copilot-core (>=3.12 && <3.13)
- copilot-interpreter (>=3.12 && <3.13)
- copilot-prettyprinter (>=3.12 && <3.13)
- copilot-theorem (>=3.12 && <3.13)
- data-reify (>=0.6 && <0.7)
- mtl (>=2.0 && <3)