The latest version of idris is 1.3.4-0.
lib:idris
Modules
- Idris.AbsSyntax
- Idris.Compiler
- Idris.ConTrans
- Idris.Context
- Idris.Fontlock
- Idris.LambdaLift
- Idris.Latex
- Idris.Lexer
- Idris.Lib
- Idris.MakeTerm
- Idris.PMComp
- Idris.Parser
- Idris.PartialEval
- Idris.Prover
- Idris.RunIO
- Idris.SCTrans
- Idris.Serialise
- Idris.SimpleCase
Dependencies
- Cabal lib:Cabal >=0
- array lib:array >=0
- base lib:base >=4 && <5
- binary lib:binary >=0
- containers lib:containers >=0
- directory lib:directory >=0
- epic lib:epic >=0.1.7
- haskell98 lib:haskell98 >=0
- ivor lib:ivor >=0.1.14
- mtl lib:mtl >=0
- old-locale lib:old-locale >=0
- old-time lib:old-time >=0
- parsec lib:parsec >=0
- readline lib:readline >=0
Reverse dependencies
Direct only. Not exhaustive.