| Name: | ghc-copilot-interpreter |
|---|---|
| Version: | 3.19.1 |
| Release: | 2.el10_0 |
| Architecture: | aarch64 |
| Group: | Unspecified |
| Size: | 144604 |
| License: | BSD-3-Clause |
| RPM: | ghc-copilot-interpreter-3.19.1-2.el10_0.aarch64.rpm |
| Source RPM: | ghc-copilot-interpreter-3.19.1-2.el10_0.src.rpm |
| Build Date: | Tue May 20 2025 |
| Build Host: | build-ol10-aarch64.oracle.com |
| Vendor: | Oracle America |
| URL: | https://hackage.haskell.org/package/copilot-interpreter |
| Summary: | Interpreter for Copilot |
| Description: | Interpreter 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>. |