packages
[ Bron: haskell-copilot-theorem ]
Pakket: libghc-copilot-theorem-doc (4.5-1build1) [universe]
Verwijzigingen voor libghc-copilot-theorem-doc
Ubuntu bronnen:
Het bronpakket haskell-copilot-theorem downloaden:
- [haskell-copilot-theorem_4.5-1build1.dsc]
- [haskell-copilot-theorem_4.5.orig.tar.gz]
- [haskell-copilot-theorem_4.5-1build1.debian.tar.xz]
Beheerder:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Haskell Group (Mailarchief)
- Scott Talbert
It should generally not be necessary for users to contact the original maintainer.
Externe bronnen:
- Homepage [copilot-language.github.io]
Vergelijkbare pakketten:
k-induction for Copilot.; documentation
Andere aan libghc-copilot-theorem-doc gerelateerde pakketten
|
|
|
|
-
- dep: haddock-interface-42
- virtueel pakket geboden door ghc
-
- rec: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- rec: libghc-bimap-doc
- bidirectional mapping between two key types; documentation
-
- rec: libghc-bv-sized-doc
- bitvector datatype parameterized by the vector width; documentation
-
- rec: libghc-copilot-core-doc
- Intermediate representation for Copilot.; documentation
-
- rec: libghc-copilot-prettyprinter-doc
- Prettyprinter of Copilot Specifications; documentation
-
- rec: libghc-copilot-theorem-dev
- k-induction for Copilot.
-
- rec: libghc-data-default-doc
- class for types with a default value; 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-random-doc
- random number generator for Haskell; documentation
-
- rec: libghc-what4-doc
- Solver-agnostic symbolic values support for issuing queries; documentation
-
- rec: libghc-xml-doc
- A simple Haskell XML library; documentation
-
- rec: libjs-mathjax
- JavaScript display engine for LaTeX and MathML
-
- sug: libghc-copilot-theorem-prof
- k-induction for Copilot.; profiling libraries