Binary package “libghc-copilot-prettyprinter-dev” in ubuntu oracular
Prettyprinter of Copilot Specifications
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot contains an interpreter,
multiple back-end compilers, and other verification tools.
.
A tutorial, examples, and other information are available at
<https:/
.
This package provides a library for the Haskell programming language.
See http://
Published versions
- libghc-copilot-prettyprinter-dev 3.18.1-1 in amd64 (Release)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in amd64 (Proposed)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in amd64 (Release)
- libghc-copilot-prettyprinter-dev 3.18.1-1 in arm64 (Release)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in arm64 (Proposed)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in arm64 (Release)
- libghc-copilot-prettyprinter-dev 3.18.1-1 in armhf (Release)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in armhf (Proposed)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in armhf (Release)
- libghc-copilot-prettyprinter-dev 3.18.1-1 in ppc64el (Release)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in ppc64el (Proposed)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in ppc64el (Release)
- libghc-copilot-prettyprinter-dev 3.18.1-1 in riscv64 (Release)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in riscv64 (Proposed)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in riscv64 (Release)
- libghc-copilot-prettyprinter-dev 3.18.1-1 in s390x (Release)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in s390x (Proposed)
- libghc-copilot-prettyprinter-dev 3.18.1-1build1 in s390x (Release)