Source Package idris

Subpackages

• idris - Functional Programming Language with Dependent Types
• ghc-idris - Haskell idris library
• ghc-idris-devel - Haskell idris library development files
• ghc-idris-doc - Haskell idris library documentation
• ghc-idris-prof - Haskell idris profiling library
• idris-common - Idris libraries
• idris-docs - Idris library docs
• idris-manual - The Idris manual
• idris-static - Idris RTS