unison
https://github.com/unisonweb/unison
Haskell
A friendly programming language from the future
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
Haskell not yet supported1 Subscribers
Add a CodeTriage badge to unison
Help out
- Issues
- Insert dictionaries at identified expression sites
- Require determined goal types before dictionary search
- Record dictionary goals at precise checker application sites
- Capture lexical givens by their active binder identities
- Order generated dictionary parameters within source scopes
- Introduce dictionary parameters while checking qualified definitions
- Build complete dictionary plans independently of note order
- Record completed given schemes for deferred resolution
- Preserve source given scope across dependency grouping
- Resolve source givens from their completed binding schemes
- Docs
- Haskell not yet supported