The latest version of copilot-language is 4.1-0.
lib:copilot-language
Modules
- Copilot
- Copilot.Language
- Copilot.Language.Operators.BitWise
- Copilot.Language.Operators.Boolean
- Copilot.Language.Operators.Cast
- Copilot.Language.Operators.Constant
- Copilot.Language.Operators.Eq
- Copilot.Language.Operators.Extern
- Copilot.Language.Operators.Integral
- Copilot.Language.Operators.Label
- Copilot.Language.Operators.Local
- Copilot.Language.Operators.Mux
- Copilot.Language.Operators.Ord
- Copilot.Language.Operators.Propositional
- Copilot.Language.Operators.Temporal
- Copilot.Language.Prelude
- Copilot.Language.Reify
Dependencies
- array lib:array >=0
- base lib:base >=4.0 && <5
- containers lib:containers >=0.4
- copilot-core lib:copilot-core >=2.2.1
- copilot-theorem lib:copilot-theorem >=2.1
- data-reify lib:data-reify >=0.6
- ghc-prim lib:ghc-prim >=0.2
- mtl lib:mtl >=2.0 && <3
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- copilot exe:copilot-regression
- copilot lib:copilot
- copilot-libraries lib:copilot-libraries