Binary package “libghc-copilot-language-dev” in ubuntu lunar
DSL for monitoring hard real-time distributed systems.
The concrete syntax for Copilot.
.
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-language-dev 3.13-1build1 in amd64 (Proposed)
- libghc-copilot-language-dev 3.13-1build1 in amd64 (Release)
- libghc-copilot-language-dev 3.13-1build1 in arm64 (Proposed)
- libghc-copilot-language-dev 3.13-1build1 in arm64 (Release)
- libghc-copilot-language-dev 3.13-1build1 in armhf (Proposed)
- libghc-copilot-language-dev 3.13-1build1 in armhf (Release)
- libghc-copilot-language-dev 3.13-1build1 in ppc64el (Proposed)
- libghc-copilot-language-dev 3.13-1build1 in ppc64el (Release)
- libghc-copilot-language-dev 3.13-1build1 in riscv64 (Proposed)
- libghc-copilot-language-dev 3.13-1build1 in riscv64 (Release)
- libghc-copilot-language-dev 3.13-1build1 in s390x (Proposed)
- libghc-copilot-language-dev 3.13-1build1 in s390x (Release)