helf: Typechecking terms of the Edinburgh Logical Framework (LF).
HELF = Haskell implementation of the Edinburgh Logical Framework
HELF implements only a subset of the Twelf syntax and functionality. It type-checks LF definitions, but does not do type reconstruction.
[Skip to Readme]
Downloads
- helf-0.2021.8.12.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Versions [RSS] | 0.2016.12.25, 0.2021.8.12 |
---|---|
Change log | CHANGELOG.md |
Dependencies | array (>=0.3 && <1.0), base (>=4.6 && <5.0), containers (>=0.3 && <1.0), mtl (>=2.2.1 && <3.0), pretty (>=1.0 && <2.0), QuickCheck (>=2.4 && <3.0) [details] |
License | MIT |
Author | Andreas Abel and Nicolai Kraus |
Maintainer | Andreas Abel <andreas.abel@ifi.lmu.de> |
Revised | Revision 1 made by AndreasAbel at 2021-08-12T21:33:17Z |
Category | Dependent types |
Home page | http://www2.tcs.ifi.lmu.de/~abel/projects.html#helf |
Source repo | head: git clone https://github.com/andreasabel/helf |
Uploaded | by AndreasAbel at 2021-08-12T21:10:55Z |
Distributions | NixOS:0.2021.8.12 |
Executables | helf |
Downloads | 1132 total (10 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] Last success reported on 2021-08-12 [all 1 reports] |