| Name: | ghc-copilot-prettyprinter |
|---|---|
| Version: | 3.19.1 |
| Release: | 2.el10_0 |
| Architecture: | aarch64 |
| Group: | Unspecified |
| Size: | 144998 |
| License: | BSD-3-Clause |
| RPM: | ghc-copilot-prettyprinter-3.19.1-2.el10_0.aarch64.rpm |
| Source RPM: | ghc-copilot-prettyprinter-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-prettyprinter |
| Summary: | A prettyprinter of Copilot Specifications |
| Description: | A 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://copilot-language.github.io>. |