• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for idris-0.1.7

Libraries

idris

• array
• base (>=4 && <5)
• binary
• Cabal
• containers
• directory
• epic (>=0.1.7)
• haskell98
• ivor (>=0.1.13)
• mtl
• old-locale
• old-time
• parsec
• readline

Executables

idris

• array
• base (>=4 && <5)
• binary
• Cabal
• containers
• directory
• epic (>=0.1.6)
• haskell98
• ivor (>=0.1.14)
• mtl
• old-locale
• old-time
• parsec
• readline