[ Source: agda ]
Paketti: libghc-agda-doc (2.6.4.3-1) [universe]
Links for libghc-agda-doc
Ubuntu-palvelut:
Imuroi lähdekoodipaketti agda:
Ylläpitäjä:
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:
- Kotisivu [wiki.portal.chalmers.se]
Samankaltaisia paketteja:
dependently typed functional programming language; documentation
Muut pakettiin libghc-agda-doc liittyvät paketit
|
|
|
|
-
- dep: haddock-interface-42
- näennäispaketti, jonka toteuttaa ghc
-
- rec: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- rec: libghc-aeson-doc
- Fast JSON parsing and encoding library; documentation
-
- rec: libghc-agda-dev
- dependently typed functional programming language
-
- rec: libghc-ansi-terminal-doc
- Simple ANSI terminal support, with Windows compatibility; 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-boxes-doc
- 2D text pretty-printing library; documentation
-
- rec: libghc-case-insensitive-doc
- case-insensitive string comparison; documentation
-
- rec: libghc-data-hash-doc
- combinators for building fast hashing functions.; documentation
-
- rec: libghc-dlist-doc
- Haskell library for Differences lists; documentation
-
- rec: libghc-edit-distance-doc
- Haskell fuzzy matching; documentation
-
- rec: libghc-equivalence-doc
- maintaining an equivalence relation; documentation
-
- rec: libghc-gitrev-doc
- compile git revision info into Haskell projects; documentation
-
- rec: libghc-hashable-doc
- class for types that can be converted to a hash value; documentation
-
- rec: libghc-monad-control-doc
- Monad transformers to lift control operations; documentation
-
- rec: libghc-murmur-hash-doc
- MurmurHash2 implementation for Haskell.; documentation
-
- rec: libghc-parallel-doc
- Haskell parallel programming library for GHC; documentation
-
- rec: libghc-peano-doc
- lazy unary natural numbers; documentation
-
- rec: libghc-regex-tdfa-doc
- Haskell library for a tagged DFA regex engine; documentation
-
- rec: libghc-split-doc
- Haskell library for splitting lists; documentation
-
- rec: libghc-stmonadtrans-doc
- monad transformer version of the ST monad; documentation
-
- rec: libghc-strict-doc
- Strict variants of standard Haskell datatypes; documentation
-
- rec: libghc-time-compat-doc
- Compatibility with old-time for the time package; documentation
-
- rec: libghc-unordered-containers-doc
- Efficient hashing-based container types; documentation
-
- rec: libghc-uri-encode-doc
- Unicode aware uri-encoding.; documentation
-
- rec: libghc-vector-doc
- Efficient Arrays for Haskell; documentation
-
- rec: libghc-vector-hashtables-doc
- efficient vector-based mutable hashtables implementation; documentation
-
- rec: libghc-zlib-doc
- Compression and decompression in the gzip and zlib formats; documentation
-
- rec: libjs-mathjax
- JavaScript display engine for LaTeX and MathML
Imuroi libghc-agda-doc
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| all | 6,533.8 kt | 181,241.0 kt | [tiedostoluettelo] |