| Name : ghc-copilot-c99
| |
| Version : 3.19.1
| Vendor : Fedora Project
|
| Release : 2.fc42
| Date : 2024-09-02 12:16:15
|
| Group : Unspecified
| Source RPM : ghc-copilot-c99-3.19.1-2.fc42.src.rpm
|
| Size : 0.16 MB
| |
| Packager : Fedora Project
| |
| Summary : A compiler for Copilot targeting C99
|
Description :
This package is a back-end from Copilot to C.
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/development/rawhide/Everything/x86_64/os/Packages/g |
