helf
Version 1.0.20240318 revision 1 uploaded by AndreasAbel.
Package meta
- Synopsis
- Typechecking terms of the Edinburgh Logical Framework (LF).
- Description
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.
- Author
- Andreas Abel and Nicolai Kraus
- Bug reports
- n/a
- Category
- Dependent types
- Copyright
- n/a
- Homepage
- http://www2.tcs.ifi.lmu.de/~abel/projects.html#helf
- Maintainer
- Andreas Abel <andreas.abel@ifi.lmu.de>
- Package URL
- n/a
- Stability
- n/a