Dependencies for copilot-language-3.6

Libraries

array (>=0.5 && <0.6)
base (>=4.9 && <5)
containers (>=0.4 && <0.7)
copilot-core (>=3.6 && <3.7)
copilot-theorem (>=3.6 && <3.7)
data-reify (>=0.6 && <0.7)
mtl (>=2.0 && <3)