@hackage copilot-core0.2.1

An intermediate representation for Copilot.

Categories
- Systems Programming
License
BSD-3-Clause
Maintainer
leepike@gmail.com
Links
Versions
- 4.4 Thu, 8 May 2025
- 4.3 Sat, 8 Mar 2025
- 4.2 Wed, 8 Jan 2025
- 4.1 Fri, 8 Nov 2024
- 4.0 Sun, 8 Sep 2024
- 3.20 Mon, 8 Jul 2024

Installation
In your cabal file:
Dependencies (7)
- base >=4.0 && <5
- containers >=0.4 && <1
- mtl >=2.0
- random >1.0
- dlist
- pretty >=1.0
Dependents (11)
@hackage/copilot-c99, @hackage/copilot-sbv, @hackage/copilot-cbmc, @hackage/copilot-verifier, @hackage/acme-everything, @hackage/copilot-theorem, Show all…

Intermediate representation for Copilot. Strictly follows Haskell 2010 except for universal and existential quantification.