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

Links für libghc-agda-doc

Ubuntu-Ressourcen:

Quellcode-Paket agda herunterladen:

Betreuer:

Ubuntu MOTU Developers (E-Mail-Archiv)

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

Original Maintainer (usually from Debian):

Debian Haskell Group (E-Mail-Archiv)

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

Externe Ressourcen:

Homepage [wiki.portal.chalmers.se]

dependently typed functional programming language; documentation

Andere Pakete mit Bezug zu libghc-agda-doc

hängt ab von

empfiehlt

schlägt vor

enhances

dep: haddock-interface-44

virtuelles Paket, bereitgestellt durch 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

libghc-agda-doc herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
all	6.641,4 kB	185.131,0 kB	[Liste der Dateien]