lib:hmk

Modules

• Control.Hmk
• Control.Hmk.Analyze
• Control.Hmk.Concurrent
• Control.Hmk.IO

Dependencies

• base lib:base <5
• containers lib:containers >=0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• dedukti exe:dedukti