GitHub.GG
Explore
Features
Pricing
Docs
Star
Sign In
helf
Public
Haskell implementation of the Edinburgh Logical Framework
Star
30
Fork
3
Watch
30
Code
Diagram
Issues
Pull Requests
Actions
Security
Insights
Settings
Loading repository data...