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