The latest version of hol is 1.4-0.
bench:hol-profile
Dependencies
- 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.