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