lib:KiCS-prophecy

Modules

• Curry.Files.ProphecyPath
• Curry.Module.CEventOracle
• Curry.Module.LiftCases
• Curry.Module.Make
• Curry.Module.Oracle

Dependencies

• KiCS lib:KiCS >=0.9.1
• base lib:base >=4.1 && <4.2
• filepath lib:filepath >=0

Reverse dependencies

Direct only. Not exhaustive.

• KiCS-debugger exe:mkstrict
• acme-everything lib:acme-everything