Pakiet: libghc-agda-doc (2.8.0-2build1) [universe]

Odnośniki dla libghc-agda-doc

Zasoby systemu Ubuntu:

Pobieranie pakietu źródłowego agda:

Opiekun:

Ubuntu MOTU Developers (Archiwum e-mail)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

Debian Haskell Group (Archiwum e-mail)

It should generally not be necessary for users to contact the original maintainer.

Zasoby zewnętrzne:

Strona internetowa [wiki.portal.chalmers.se]

Podobne pakiety:

dependently typed functional programming language; documentation

Inne pakiety związane z libghc-agda-doc

wymaga

poleca

sugeruje

enhances

dep: haddock-interface-44

pakiet wirtualny udostępniany przez 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-enummapset-doc

IntMap and IntSet with Enum keys/elements; documentation
rec: libghc-equivalence-doc

maintaining an equivalence relation; documentation
rec: libghc-filelock-doc

portable interface to file locking (flock / LockFileEx); documentation
rec: libghc-filemanip-doc

expressive file and directory manipulation for Haskell; documentation
rec: libghc-generic-data-doc

deriving instances with GHC.Generics and related utils; 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-nonempty-containers-doc

Non-empty variants of containers data types, with full API; documentation
rec: libghc-parallel-doc

Haskell parallel programming library for GHC; documentation
rec: libghc-peano-doc

lazy unary natural numbers; documentation
rec: libghc-pqueue-doc

reliable, persistent, fast priority queues.; documentation
rec: libghc-process-extras-doc

Extra functionality for the Process library; 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-unordered-containers-doc

Efficient hashing-based container types; documentation
rec: libghc-uri-encode-doc

Unicode aware uri-encoding.; 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

Pobieranie libghc-agda-doc

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	6 641,4 KiB	185 131,0 KiB	[lista plików]