Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
copilot-language-3.11
library
array
(>=0.5 && <0.6)
base
(>=4.9 && <5)
containers
(>=0.4 && <0.7)
copilot-core
(>=3.11 && <3.12)
copilot-interpreter
(>=3.11 && <3.12)
copilot-theorem
(>=3.11 && <3.12)
data-reify
(>=0.6 && <0.7)
mtl
(>=2.0 && <3)