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
• filepath lib:filepath >=1.3 && <1.4
• parsec lib:parsec >=3.1 && <3.2
• pretty lib:pretty >=1.1 && <1.2
• process lib:process >=1.2 && <1.3
• text lib:text >=0.11 && <0.12
• transformers lib:transformers >=0.3 && <0.4

Reverse dependencies

None.