hackage.haskell.org : helf
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.
Registry
- Homepage
- JSON
purl: pkg:hackage/helf
Keywords:
dependent-types
, mit
, program
, Propose Tags
License: MIT
Latest release: over 1 year ago
First release: over 8 years ago
Downloads: 1,551 total
Last synced: 10 days ago
Loading...
Readme
Loading...