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: about 1 month 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 (over 8 years ago)
• Default Branch: master
• Last Pushed: 2024-10-17T18:34:27.000Z (6 months ago)
• Last Synced: 2024-10-20T04:08:53.865Z (6 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: 26
• Watchers: 6
• 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