Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
idris-0.1.5
library
array
base
(>=4 && <5)
binary
Cabal
containers
directory
epic
(>=0.1.5)
haskell98
ivor
(>=0.1.12)
mtl
old-locale
old-time
parsec
readline
idris
array
base
(>=4 && <5)
binary
Cabal
containers
directory
epic
(>=0.1.4)
haskell98
ivor
(>=0.1.12)
mtl
old-locale
old-time
parsec
readline