lib:improve

Modules

• Language.ImProve
• Language.ImProve.Code
• Language.ImProve.Core
• Language.ImProve.Examples
• Language.ImProve.Tree
• Language.ImProve.Verify

Dependencies

• base lib:base >=4.0 && <5
• mtl lib:mtl >=1.1.0.1 && <2.1
• yices lib:yices >=0.0.0.7 && <0.0.1

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything