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
- codemeta.json
purl: pkg:hackage/helf
Keywords:
dependent-types
, mit
, program
, Propose Tags
License: MIT
Latest release: almost 2 years ago
First release: about 9 years ago
Downloads: 1,593 total
Last synced: 24 days ago
Loading...
Readme
Loading...