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
- Bound the size of generated implicit goals
- Represent and store implicit function arrows
- Handle implicit parameters in function-type utilities
- Decompose qualified signatures into dictionary candidates
- Verify explicit dictionary bodies before accepting elaboration
- Track given membership in namespace metadata
- Keep effect rows outside implicit constraint contexts
- Check implicit arrows without erasing dictionary requirements
- Track expression identity separately from source location
- Identify lexical dictionary bindings without changing source diagnostics
- Docs
- Haskell not yet supported