@hackage helf0.2016.12.25

Typechecking terms of the Edinburgh Logical Framework (LF).

Categories
License
LicenseRef-OtherLicense
Maintainer
Andreas Abel <andreas.abel@ifi.lmu.de>
Links
Versions
- 1.0.20240318 Thu, 17 Oct 2024
- 0.2022.5.30 Mon, 30 May 2022
- 0.2021.8.12 Mon, 30 May 2022
- 0.2016.12.25 Thu, 12 Aug 2021

Installation
In your cabal file:
Tested Compilers
- 7.10.3
Dependencies (0)
- array >=0.3 && <1.0
- base >=4.7 && <4.11
- containers >=0.3 && <1.0
- mtl >=2.2.1 && <3.0
- QuickCheck >=2.4 && <3.0
- pretty >=1.0 && <2.0
Dependents (1)
@hackage/acme-everything

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.