Explore Features Pricing Docs Star

Public

Haskell implementation of the Edinburgh Logical Framework

Code Diagram Issues Pull Requests Actions Security Insights Settings

Unlock the power of AI to understand code instantly.

Twitter GitHub Discord

Product

Features
Pricing
Testimonials
FAQ

Resources

Documentation
API
Blog
Community

Company

About
Team
Careers
Contact

© 2025 GitHub.GG. All rights reserved.

Issues

Open Closed All

Closed Issues

Bump Haskell CI to GHC 9.12.2

#2Opened 5/4/20250 commentsby andreasabel

Closed

v1.0.20240318: Drop GHC 7, fix build with GHC 9.10

#1Opened 3/18/20241 commentsby andreasabel

Closed

Page 1Next