| Name: | ghc-copilot-language |
|---|---|
| Version: | 3.19.1 |
| Release: | 2.el10_0 |
| Architecture: | x86_64 |
| Group: | Unspecified |
| Size: | 440705 |
| License: | BSD-3-Clause |
| RPM: | ghc-copilot-language-3.19.1-2.el10_0.x86_64.rpm |
| Source RPM: | ghc-copilot-language-3.19.1-2.el10_0.src.rpm |
| Build Date: | Tue May 20 2025 |
| Build Host: | build-ol10-x86_64.oracle.com |
| Vendor: | Oracle America |
| URL: | https://hackage.haskell.org/package/copilot-language |
| Summary: | A Haskell-embedded DSL for monitoring hard real-time distributed systems |
| Description: | 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://copilot-language.github.io>. |