package names descriptions source package names package contents all options

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Source: agda  ]

Links for libghc-agda-doc

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package agda:

• [agda_2.6.4.3-1.dsc]
• [agda_2.6.4.3.orig.tar.gz]
• [agda_2.6.4.3-1.debian.tar.xz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

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:

• libghc-agda-dev
• elpa-agda2-mode
• elixir
• faust
• libfsharp-core4.3-cil
• libfsharp-data-typeproviders4.4-cil
• fsharp
• libfaust2
• libfaust-static
• libfaust2t64
• faust-common

Other Packages Related to libghc-agda-doc

depends

recommends

suggests

enhances

• dep: haddock-interface-42

  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-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

Download libghc-agda-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	6,533.8 kB	181,241.0 kB	[list of files]