exe:idris

Dependencies

• Cabal lib:Cabal >=0
• Win32 lib:Win32 >=0
• ansi-terminal lib:ansi-terminal >=0
• base lib:base >=4 && <5
• binary lib:binary >=0
• bytestring lib:bytestring >=0
• containers lib:containers >=0
• directory lib:directory >=0 && >=1.2
• filepath lib:filepath >=0
• haskeline lib:haskeline >=0.7
• language-java lib:language-java >=0.2.2
• libffi lib:libffi >=0
• llvm-general lib:llvm-general >=3.3.5 && <3.3.6
• mtl lib:mtl >=0
• parsec lib:parsec >=3
• pretty lib:pretty >=0
• process lib:process >=0
• split lib:split >=0
• text lib:text >=0
• time lib:time >=1.4
• transformers lib:transformers >=0
• unix lib:unix >=0 && >=0
• vector lib:vector >=0
• vector-binary-instances lib:vector-binary-instances >=0

Reverse dependencies

None.