helf

Typechecking terms of the Edinburgh Logical Framework (LF).

http://www2.tcs.ifi.lmu.de/~abel/projects.html#helf

Latest on Hackage:

1.0.20240318

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

MIT licensed by Andreas Abel and Nicolai Kraus

Maintained by Andreas Abel

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.