@hackage helf1.0.20240318

Typechecking terms of the Edinburgh Logical Framework (LF).

Categories
License
MIT
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
- 9.10.1
- 9.8.2
- 9.6.6
- 9.4.8
- 9.2.8
- 9.0.2
- 8.10.7
- 8.8.4
- 8.6.5
- 8.4.4
- 8.2.2
- 8.0.2
Dependencies (0)
- array >=0.3 && <1
- base >=4.9 && <5
- bytestring >=0.10.0.0 && <1
- containers >=0.3 && <1
- mtl >=2.2.1 && <3
- text >=1.0.0.1 && <3
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.