test:hol-test

Dependencies

• QuickCheck lib:QuickCheck >=2.4 && <2.5
• base lib:base >=4.0 && <5.0
• bytestring lib:bytestring >=0.9 && <0.10
• containers lib:containers >=0.5 && <0.6
• pretty lib:pretty >=1.1 && <1.2
• text lib:text >=0.11 && <0.12
• transformers lib:transformers >=0.3 && <0.4

Reverse dependencies

None.