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

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 >=4.1 && <4.2
copilot-interpreter lib:copilot-interpreter >=4.1 && <4.2
copilot-theorem lib:copilot-theorem >=4.1 && <4.2
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