[ Source: agda ]
Package: libghc-agda-doc (2.6.1-1build2.1) [universe]
Links for libghc-agda-doc
Ubuntu Resources:
Download Source Package agda:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Debian Haskell Group (Mail Archive)
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [wiki.portal.chalmers.se]
Similar packages:
dependently typed functional programming language; documentation
Other Packages Related to libghc-agda-doc
|
|
|
|
-
- dep: haddock-interface-35
- virtual package provided by ghc
-
- rec: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- rec: libghc-aeson-doc
- Fast JSON parsing and encoding library; documentation
-
- rec: libghc-async-doc
- run IO operations asynchronously and wait for their results; documentation
-
- rec: libghc-blaze-html-doc
- HTML combinator library for Haskell; documentation
-
- rec: libghc-equivalence-doc
- maintaining an equivalence relation; documentation
-
- rec: libghc-exceptions-doc
- extensible optionally-pure exceptions; documentation
-
- rec: libghc-geniplate-mirror-doc
- Use Template Haskell to generate Uniplate-like functions.; documentation
-
- rec: libghc-hashable-doc
- class for types that can be converted to a hash value; documentation
-
- rec: libghc-hashtables-doc
- mutable hash tables -- documentation; documentation
-
- rec: libghc-strict-doc
- Strict variants of standard Haskell datatypes; documentation
-
- rec: libghc-unordered-containers-doc
- Efficient hashing-based container types; documentation
-
- rec: libjs-mathjax
- JavaScript display engine for LaTeX and MathML
Download libghc-agda-doc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 5,276.7 kB | 141,840.0 kB | [list of files] |