lib:gdp

Modules

• Data.Arguments
• Data.Refined
• Data.The
• GDP
• Logic.Classes
• Logic.NegClasses
• Logic.Proof
• Logic.Propositional
• Theory.Equality
• Theory.Named

Dependencies

• base lib:base >=4.7 && <5
• lawful lib:lawful >=0

Reverse dependencies

Direct only. Not exhaustive.

• NaCl lib:NaCl
• crypto-sodium lib:crypto-sodium
• gdp exe:gdp
• servant-gdp lib:servant-gdp
• st2 lib:st2