Package copilot-language version 3.6-0 component lib:copilot-language :: Monadoc

The latest version of copilot-language is 4.0-0.

lib:copilot-language

Modules

Dependencies

array lib:array >=0.5 && <0.6
base lib:base >=4.9 && <5
containers lib:containers >=0.4 && <0.7
copilot-core lib:copilot-core >=3.6 && <3.7
copilot-theorem lib:copilot-theorem >=3.6 && <3.7
data-reify lib:data-reify >=0.6 && <0.7
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