[ Zdroj: haskell-what4 ]
Balík: libghc-what4-doc (1.3-4)
Odkazy pre libghc-what4-doc
Zdroje Debian:
Stiahnuť zdrojový balík haskell-what4:
Správcovia:
Externé zdroje:
- Domovská stránka [github.com]
Podobné balíky:
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
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
all | 1,399.1 kB | 36,176.0 kB | [zoznam súborov] |