exe:gradual

Dependencies

• base lib:base >=4.15.1.0 && <5
• cmdargs lib:cmdargs >=0
• hscolour lib:hscolour >=0
• liquid-fixpoint lib:liquid-fixpoint >=0.9.0.2
• liquidhaskell lib:liquidhaskell >=0.9.0.2

Reverse dependencies

None.