https://github.com/andreasabel/helf

Haskell implementation of the Edinburgh Logical Framework
https://github.com/andreasabel/helf

dependent-types framework haskell lf logical twelf

Last synced: 6 months ago
JSON representation

Haskell implementation of the Edinburgh Logical Framework

• Host: GitHub
• URL: https://github.com/andreasabel/helf
• Owner: andreasabel
• License: mit
• Created: 2016-12-25T11:09:03.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2025-05-04T14:02:54.000Z (9 months ago)
• Last Synced: 2025-06-29T15:02:05.380Z (7 months ago)
• Topics: dependent-types, framework, haskell, lf, logical, twelf
• Language: Haskell
• Homepage: http://www2.tcs.ifi.lmu.de/~abel/projects.html#helf
• Size: 3.32 MB
• Stars: 30
• Watchers: 5
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

          
2010-11-18  HELF

Haskell implementation of the Edinburgh Logical Framework.

cabal install ; make test