Binary package “libghc-copilot-prettyprinter-dev” in ubuntu mantic
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.13-1 in amd64 (Release)
- libghc-copilot-prettyprinter-dev 3.13-1 in arm64 (Release)
- libghc-copilot-prettyprinter-dev 3.13-1 in armhf (Release)
- libghc-copilot-prettyprinter-dev 3.13-1 in ppc64el (Release)
- libghc-copilot-prettyprinter-dev 3.13-1 in riscv64 (Release)
- libghc-copilot-prettyprinter-dev 3.13-1 in s390x (Release)