@hackage copilot-prettyprinter4.1

A prettyprinter of Copilot Specifications.

Categories
- Systems Programming
- Language
License
BSD-3-Clause
Maintainer
Ivan Perez <ivan.perezdominguez@nasa.gov>
Links
Versions
- 4.1 Fri, 8 Nov 2024
- 4.0 Sun, 8 Sep 2024
- 3.20 Mon, 8 Jul 2024
- 3.19.1 Wed, 8 May 2024
- 3.19 Fri, 8 Mar 2024
- 3.18.1 Mon, 8 Jan 2024

Installation
In your cabal file:
Dependencies (3)
- base >=4.9 && <5
- copilot-core >=4.1 && <4.2
- pretty >=1.0 && <1.2
Dependents (5)
@hackage/copilot-verifier, @hackage/copilot-theorem, @hackage/copilot-interpreter, @hackage/copilot-language, @hackage/copilot

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.

@hackage copilot-prettyprinter4.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (3)

Dependents (5)