Balík: libghc-what4-doc (1.3-4)

[ Zdroj: haskell-what4  ]

Solver-agnostic symbolic values support for issuing queries; documentation

Ostatné balíky súvisiace s balíkom libghc-what4-doc

• dep: haddock-interface-38

  virtuálny balík poskytovaný balíkom ghc

• rec: ghc-doc

  dokumentácia systému Glasgow Haskell Compilation

• rec: libghc-attoparsec-doc

  Fast combinator parsing for bytestrings; documentation

• rec: libghc-bv-sized-doc

  bitvector datatype parameterized by the vector width; documentation

• rec: libghc-hashable-doc

  class for types that can be converted to a hash value; documentation

• rec: libghc-hashtables-doc

  mutable hash tables -- documentation; documentation

• rec: libghc-io-streams-doc

  simple, composable, and easy-to-use stream I/O; documentation

• rec: libghc-lens-doc

  Lenses, Folds and Traversals; documentation

• rec: libghc-libbf-doc

  Binding to the libBF library; documentation

• rec: libghc-panic-doc

  convenient way to panic; documentation

• rec: libghc-parameterized-utils-doc

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

• rec: libghc-prettyprinter-doc

  modern, easy-to-use, extensible prettyprinter; documentation

• rec: libghc-scientific-doc

  scientific notation for floating-point numbers; documentation

• rec: libghc-vector-doc

  Efficient Arrays for Haskell; documentation

• 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: libjs-mathjax

  jadro JavaScript na vykresľovanie pre LaTeX a MathML

• sug: libghc-what4-prof

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

Stiahnuť libghc-what4-doc

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	1,399.1 kB	36,176.0 kB	[zoznam súborov]