test:hol-test

Dependencies

• QuickCheck lib:QuickCheck >=2.4
• base lib:base >=4.0 && <5.0
• bytestring lib:bytestring >=0.9
• containers lib:containers >=0.5
• filepath lib:filepath >=1.3
• parsec lib:parsec >=3.1
• pretty lib:pretty >=1.1
• process lib:process >=1.2
• text lib:text >=0.11
• transformers lib:transformers >=0.3

Reverse dependencies

None.