lib:dclabel-eci11

Modules

• DCLabel.Core
• DCLabel.Integrity
• DCLabel.NanoEDSL
• DCLabel.PrettyShow
• DCLabel.Safe
• DCLabel.Secrecy
• DCLabel.TCB

Dependencies

• QuickCheck lib:QuickCheck >=2.1
• base lib:base >=4 && <5
• pretty lib:pretty >1.0.1 && <2

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• lio-eci11 lib:lio-eci11