Source Package idris
Builds
Updates
Bugs
Sources
Crash Reports
Koschei
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
Sources on
Pagure