# The hol package

This package implements a higher order logic kernel with OpenTheory support.

[Skip to Readme]

## Properties

Versions | 1.0, 1.1, 1.2 |
---|---|

Dependencies | base (>=4.0 && <5.0), bytestring (==0.9.*), containers (==0.5.*), filepath (==1.3.*), parsec (==3.1.*), pretty (==1.1.*), process (==1.2.*), QuickCheck (==2.4.*), text (==0.11.*), transformers (==0.3.*) [details] |

License | MIT |

Author | Joe Leslie-Hurd <joe@gilith.com> |

Maintainer | Joe Leslie-Hurd <joe@gilith.com> |

Category | Logic |

Source repository | head: git clone git://github.com/gilith/hol.git |

Uploaded | Tue Oct 3 04:59:21 UTC 2017 by JoeHurd |

Distributions | NixOS:1.1 |

Executables | hol-pkg |

Downloads | 144 total (36 in the last 30 days) |

Rating | 0.0 (0 ratings) [clear rating] |

Status | Docs not available [build log] All reported builds failed as of 2017-10-03 [all 3 reports] Hackage Matrix CI |

## Modules

*HOL*- HOL.Const
- HOL.Data
- HOL.Name
- HOL.OpenTheory
- HOL.OpenTheory.Article
- HOL.OpenTheory.Interpret
- HOL.OpenTheory.Package

- HOL.Parse
- HOL.Print
- HOL.Rule
- HOL.Sequent
- HOL.Subst
- HOL.Term
- HOL.TermAlpha
- HOL.TermData
- HOL.Theory
- HOL.Thm
- HOL.Type
- HOL.TypeData
- HOL.TypeOp
- HOL.TypeSubst
- HOL.TypeVar
- HOL.Var

## Downloads

- hol-1.2.tar.gz [browse] (Cabal source package)
- Package description (included in the package)