Package: libghc-copilot-doc
Source: haskell-copilot
Version: 4.6.1-1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 380
Depends: haddock-interface-44
Recommends: ghc-doc, libghc-copilot-core-doc, libghc-copilot-dev, libghc-copilot-language-doc, libghc-copilot-libraries-doc, libghc-copilot-prettyprinter-doc, libghc-optparse-applicative-doc, libjs-mathjax
Suggests: libghc-copilot-prof
Section: doc
Priority: optional
Homepage: https://copilot-language.github.io
Description: Stream DSL for writing embedded C programs.; documentation
 Copilot is a stream-based runtime verification framework implemented as an
 embedded domain-specific language (EDSL) in Haskell. Programs can be
 interpreted for testing, or translated into C99 code to be incorporated in a
 project, or as a standalone application. The C99 backend output is constant
 in memory and time, making it suitable for systems with hard realtime
 requirements.
 .
 This package is the main entry-point for using Copilot.
 .
 A tutorial, examples, and other information are available at
 <https://copilot-language.github.io>.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.
