| Name : ghc-copilot-core
| |
| Version : 3.19.1
| Vendor : Fedora Project
|
| Release : 3.fc41
| Date : 2024-09-25 20:58:09
|
| Group : Unspecified
| Source RPM : ghc-copilot-core-3.19.1-3.fc41.src.rpm
|
| Size : 0.21 MB
| |
| Packager : Fedora Project
| |
| 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>.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/updates/testing/41/Everything/x86_64/Packages/g |
