| Name: | ghc-copilot-core |
|---|---|
| Version: | 3.19.1 |
| Release: | 3.el10_0 |
| Architecture: | x86_64 |
| Group: | Unspecified |
| Size: | 223325 |
| License: | BSD-3-Clause |
| RPM: | ghc-copilot-core-3.19.1-3.el10_0.x86_64.rpm |
| Source RPM: | ghc-copilot-core-3.19.1-3.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-core |
| Summary: | An intermediate representation for Copilot |
| Description: | Intermediate representation 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>. |