[ 原始碼: haskell-what4 ]
套件:libghc-what4-doc(1.3-4)
Solver-agnostic symbolic values support for issuing queries; documentation
其他與 libghc-what4-doc 有關的套件
|
|
|
|
-
- dep: haddock-interface-38
- 本虛擬套件由這些套件填實: ghc
-
- rec: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- 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
- JavaScript display engine for LaTeX and MathML
-
- sug: libghc-what4-prof
- Solver-agnostic symbolic values support for issuing queries; profiling libraries