skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

Links for libghc-what4-doc

Debian Resources:

• Bug Reports
• Developer Information
• Debian Changelog
• Copyright File
• Debian Patch Tracker

Download Source Package haskell-what4:

• [haskell-what4_1.5.1-4.dsc]
• [haskell-what4_1.5.1.orig.tar.gz]
• [haskell-what4_1.5.1-4.debian.tar.xz]

Maintainers:

• Debian Haskell Group (QA Page, Mail Archive)
• Scott Talbert (QA Page)

External Resources:

• Homepage [github.com]

Similar packages:

• haskell-what4-utils
• libghc-what4-dev
• libghc-what4-prof
• ruby-buff-shell-out
• coinor-libosi-doc
• node-event-emitter
• ceres-solver-doc
• libghc-edit-distance-vector-doc
• ruby-pg-query
• ruby-gitlab-pg-query
• qsapecng-doc

Other Packages Related to libghc-what4-doc

• dep: haddock-interface-42

  virtual package provided by ghc

• rec: ghc-doc

  documentazione per il sistema di compilazione Haskell Glasgow

• rec: libghc-async-doc

  esegue operazioni IO in modo asincrono e attende i loro risultati; documentazione

• rec: libghc-attoparsec-doc

  Fast combinator parsing for bytestrings; documentation

• rec: libghc-bifunctors-doc

  bifuntori di Haskell 98; documentazione

• rec: libghc-bimap-doc

  mappatura bidirezionale tra due tipi di chiavi; documentazione

• rec: libghc-boundedchan-doc

  canali con vincoli (con limite-massimo); documentazione

• rec: libghc-bv-sized-doc

  bitvector datatype parameterized by the vector width; documentation

• rec: libghc-concurrent-extra-doc

  Extra concurrency primitives; documentation

• rec: libghc-config-value-doc

  simple, layout-based value language similar to YAML/JSON; documentation

• rec: libghc-deriving-compat-doc

  backports of GHC deriving extensions; documentation

• rec: libghc-fingertree-doc

  implementazione in Haskell di struttura generica per dati finger-tree; documentazione

• rec: libghc-hashable-doc

  classe per tipi che possono essere convertiti in un valore hash; documentazione

• rec: libghc-hashtables-doc

  mutable hash tables -- documentation; documentation

• rec: libghc-io-streams-doc

  I/O con flussi semplice, componibile e facile da usare; documentazione

• rec: libghc-lens-doc

  Lenses, Folds and Traversals; documentation

• rec: libghc-libbf-doc

  collegamento alla libreria libBF; documentazione

• rec: libghc-megaparsec-doc

  monadic parser combinators; documentation

• rec: libghc-ordered-containers-doc

  contenitori ordinati per Haskell; documentazione

• rec: libghc-panic-doc

  modo comodo di andare in panico; documentazione

• rec: libghc-parameterized-utils-doc

  Classes/data structures for data-kind indexed types; documentation

• rec: libghc-prettyprinter-doc

  strumento per belle stampe estensibile, moderno, facile da usare; documentazione

• rec: libghc-s-cargot-doc

  libreria flessibile ed estensibile per espressioni S; documentazione

• rec: libghc-scientific-doc

  notazione scientifica per numeri in virgola mobile; documentazione

• rec: libghc-th-lift-doc

  derive Template Haskell's Lift class for datatypes.; documentation

• rec: libghc-th-lift-instances-doc

  Lift instances for template-haskell for common data types; documentation

• rec: libghc-unliftio-doc

  MonadUnliftIO typeclass for unlifting monads to IO; documentation

• rec: libghc-unordered-containers-doc

  tipi per contenitori efficienti basati su hash; documentazione

• rec: libghc-utf8-string-doc

  librerie GHC per la libreria UTF-8 di Haskell (documentazione)

• rec: libghc-vector-doc

  array efficienti per Haskell; documentazione

• rec: libghc-versions-doc

  Types and parsers for software version numbers.; documentation

• rec: libghc-what4-dev

  Solver-agnostic symbolic values support for issuing queries

• rec: libghc-zenc-doc

  GHC style name Z-encoding and Z-decoding; documentation

• rec: libjs-mathjax

  motore di visualizzazione JavaScript per LaTeX e MathML

• sug: libghc-what4-prof

  Solver-agnostic symbolic values support for issuing queries; profiling libraries

Download libghc-what4-doc